/* Enable External Secure Interrupt. 
Enables a secure device-specific interrupt in the NVIC interrupt controller.  */
void drv_nvic_enable_sirq(int32_t IRQn)
/* Enable External Secure Interrupt. 
Enables a secure device-specific interrupt in the NVIC interrupt controller.  */
void drv_nvic_enable_sirq(int32_t IRQn)
{
    NVIC->ISSR[0U] = (uint32_t)(1UL << (((uint32_t)(int32_t)IRQn) & 0x1FUL));
}