/* Set interrupt pending bit from the given (unique) source (AT91C_ID_xxx).  */
void NVIC_SetPending(unsigned int source)
/* Set interrupt pending bit from the given (unique) source (AT91C_ID_xxx).  */
void NVIC_SetPending(unsigned int source)
{
    NVIC_SetPendingIRQ((IRQn_Type)source);
}