/* Start the PWM of the PWM module. This function is to start the PWM of the PWM module.  */
void xPWMStart(unsigned long ulBase, unsigned long ulChannel)
/* Start the PWM of the PWM module. This function is to start the PWM of the PWM module.  */
void xPWMStart(unsigned long ulBase, unsigned long ulChannel)
{
    (void) ulChannel;
    xASSERT(ulBase == xPWM1_BASE);
    xASSERT( (ulChannel == xPWM_CHANNEL0) ||
             (ulChannel == xPWM_CHANNEL1) ||
             (ulChannel == xPWM_CHANNEL2) ||
             (ulChannel == xPWM_CHANNEL3) ||
             (ulChannel == xPWM_CHANNEL4) ||
             (ulChannel == xPWM_CHANNEL5) ||
             (ulChannel == xPWM_CHANNEL6) );
    xHWREG(ulBase + PWM_TCR) = TCR_CNT_EN | TCR_PWM_EN;
}