/* NVIC Set Pending Interrupt. 
Force a user interrupt to a pending state. This has no effect if the interrupt is already pending. */
void nvic_set_pending_irq(uint8_t irqn)
/* NVIC Set Pending Interrupt. 
Force a user interrupt to a pending state. This has no effect if the interrupt is already pending. */
void nvic_set_pending_irq(uint8_t irqn)
{
	NVIC_ISPR(irqn / 32) = (1 << (irqn % 32));
}