/* Get Pending Interrupt. 
Reads the pending register in the NVIC and returns the pending bit for the specified interrupt.  */
uint32_t drv_nvic_get_pending_irq(int32_t IRQn)
/* Get Pending Interrupt. 
Reads the pending register in the NVIC and returns the pending bit for the specified interrupt.  */
uint32_t drv_nvic_get_pending_irq(int32_t IRQn)
{
    return ((uint32_t)(((NVIC->ISPR[0U] & (1UL << (((uint32_t)(int32_t)IRQn) & 0x1FUL))) != 0UL) ? 1UL : 0UL));
}