/* Disables the period interrupt for the given PWM channel.  */
void PWMC_DisableChannelIt(unsigned char channel)
/* Disables the period interrupt for the given PWM channel.  */
void PWMC_DisableChannelIt(unsigned char channel)
{
    AT91C_BASE_PWMC->PWMC_IDR = 1 << channel;
}