/* Disables interrupt coming from the given (unique) source (AT91C_ID_xxx).  */
void IRQ_DisableIT(unsigned int source)
/* Disables interrupt coming from the given (unique) source (AT91C_ID_xxx).  */
void IRQ_DisableIT(unsigned int source)
{
    NVIC_DisableIRQ((IRQn_Type)source);
}