/* NVIC Return Pending Interrupt. 
True if the interrupt has occurred and is waiting for service. */
uint8_t nvic_get_pending_irq(uint8_t irqn)
/* NVIC Return Pending Interrupt. 
True if the interrupt has occurred and is waiting for service. */
uint8_t nvic_get_pending_irq(uint8_t irqn)
{
	return NVIC_ISPR(irqn / 32) & (1 << (irqn % 32)) ? 1 : 0;
}