/* Enables interrupt coming from the given (unique) source (AT91C_ID_xxx).  */
void IRQ_EnableIT(unsigned int source)
/* Enables interrupt coming from the given (unique) source (AT91C_ID_xxx).  */
void IRQ_EnableIT(unsigned int source)
{
    NVIC_EnableIRQ((IRQn_Type)source);
}