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