/* 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 long i;
    unsigned short usCNRData;
    xASSERT((ulBase == PWMA_BASE) || (ulBase == PWMB_BASE) || 
            (ulBase == PWMC_BASE));
    i = xHWREG(ulBase + TPM_SC) & 0xf;
    ulPreScale = 1 << i;
    usCNRData = xHWREG(ulBase + TPM_MOD);
    return(SysCtlPWMAndUART0ClkGet() / usCNRData / ulPreScale);
}