/* Enables the given PWM channel. This does NOT enable the corresponding pin; this must be done in the user code.  */
void PWMC_EnableChannel(unsigned char channel)
/* Enables the given PWM channel. This does NOT enable the corresponding pin; this must be done in the user code.  */
void PWMC_EnableChannel(unsigned char channel)
{
    AT91C_BASE_PWMC->PWMC_ENA = 1 << channel;
}