/* Set the PWM frequency of the PWM module.  */
unsigned long xPWMFrequencyConfig(unsigned long ulBase, unsigned long ulChannel, unsigned long ulConfig)
/* Set the PWM frequency of the PWM module.  */
unsigned long xPWMFrequencyConfig(unsigned long ulBase, unsigned long ulChannel, unsigned long ulConfig)
{
    (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_PR) = ulConfig;
    return (SysCtlPeripheralClockGet(PCLKSEL_PWM1)/ulConfig);
}