/* Get Active Interrupt. 
Reads the active register in the NVIC and returns the active bit for the device specific interrupt.  */
uint32_t drv_nvic_get_active(int32_t IRQn)
/* Get Active Interrupt. 
Reads the active register in the NVIC and returns the active bit for the device specific interrupt.  */
uint32_t drv_nvic_get_active(int32_t IRQn)
{
    return ((uint32_t)(((NVIC->IABR[0] & (1UL << (((uint32_t)(int32_t)IRQn) & 0x1FUL))) != 0UL) ? 1UL : 0UL));
}