/* This function returns the current PWM clock configuration. */
uint32_t SysCtlPWMClockGet(void)
/* This function returns the current PWM clock configuration. */
uint32_t SysCtlPWMClockGet(void)
{
    ASSERT(HWREG(SYSCTL_DC1) & (SYSCTL_DC1_PWM0 | SYSCTL_DC1_PWM1));
    if(!(HWREG(SYSCTL_RCC) & SYSCTL_RCC_USEPWMDIV))
    {
        return(SYSCTL_PWMDIV_1);
    }
    else
    {
        return(HWREG(SYSCTL_RCC) &
               (SYSCTL_RCC_USEPWMDIV | SYSCTL_RCC_PWMDIV_M));
    }
}