/* Clear interrupt pending bit from the given (unique) source (AT91C_ID_xxx).  */
void NVIC_ClrPending(unsigned int source)
/* Clear interrupt pending bit from the given (unique) source (AT91C_ID_xxx).  */
void NVIC_ClrPending(unsigned int source)
{
    NVIC_ClearPendingIRQ((IRQn_Type)source);
}