/* Clear a pending interrupt bit in the NVIC without servicing it.  */
void am_hal_interrupt_pend_clear(uint32_t ui32Interrupt)
/* Clear a pending interrupt bit in the NVIC without servicing it.  */
void am_hal_interrupt_pend_clear(uint32_t ui32Interrupt)
{
    if ( ui32Interrupt > AM_HAL_INTERRUPT_MAX )
    {
        return;
    }
    if ( ui32Interrupt > 15 )
    {
        AM_REG(NVIC, ICPR0) = 0x1 << ((ui32Interrupt - 16) & 0x1F);
    }
}