/* Set a pending interrupt bit in the NVIC (Software Interrupt)  */
void am_hal_interrupt_pend_set(uint32_t ui32Interrupt)
/* Set a pending interrupt bit in the NVIC (Software Interrupt)  */
void am_hal_interrupt_pend_set(uint32_t ui32Interrupt)
{
    if ( ui32Interrupt > AM_HAL_INTERRUPT_MAX )
    {
        return;
    }
    if ( ui32Interrupt > 15 )
    {
        AM_REG(NVIC, ISPR0) = 0x1 << ((ui32Interrupt - 16) & 0x1F);
    }
}