/* For internal use only. Configure the NVIC to enable, and set the priority of, the interrupt specified by peripheral_irq.  */
void configure_interrupt_controller(const enum IRQn peripheral_irq, uint32_t interrupt_priority)
/* For internal use only. Configure the NVIC to enable, and set the priority of, the interrupt specified by peripheral_irq.  */
void configure_interrupt_controller(const enum IRQn peripheral_irq, uint32_t interrupt_priority)
{
	configASSERT(interrupt_priority <=
            configLIBRARY_LOWEST_INTERRUPT_PRIORITY);
	configASSERT(interrupt_priority >=
			configLIBRARY_MAX_SYSCALL_INTERRUPT_PRIORITY);
	NVIC_ClearPendingIRQ(peripheral_irq);
	NVIC_SetPriority(peripheral_irq, interrupt_priority);
	NVIC_EnableIRQ(peripheral_irq);
}