/* Disables interrupts coming from the given (unique) source.  */
void AIC_DisableIT(unsigned int source)
/* Disables interrupts coming from the given (unique) source.  */
void AIC_DisableIT(unsigned int source)
{
    AT91C_BASE_AIC->AIC_IDCR = 1 << source;
}