/* get the PWM frequency of the PWM module.  */
unsigned long PWMFrequencyGet(unsigned long ulBase)
/* get the PWM frequency of the PWM module.  */
unsigned long PWMFrequencyGet(unsigned long ulBase)
{
    unsigned long ulPreScale;
    unsigned short usCNRData;
    xASSERT((ulBase == PWMA_BASE) || (ulBase == PWMB_BASE));
    ulPreScale = xHWREG(ulBase + TIMER_PSCR) + 1;
    usCNRData = xHWREG(ulBase + TIMER_CRR);
    return(xSysCtlClockGet() / usCNRData / ulPreScale);
}