/* Set Wake up Interrupt. 
Sets the wake up bit of an external interrupt.  */
void drv_nvic_set_wakeup_irq(int32_t IRQn)
/* Set Wake up Interrupt. 
Sets the wake up bit of an external interrupt.  */
void drv_nvic_set_wakeup_irq(int32_t IRQn)
{
    NVIC->IWER[0U] = (uint32_t)(1UL << (((uint32_t)(int32_t)IRQn) & 0x1FUL));
}