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