/* The function is used to Enable frequency clock output and set its divider value.  */
void SysCtlFreqDividerOutputEnable(xtBoolean bEnable, unsigned char u8Divider)
/* The function is used to Enable frequency clock output and set its divider value.  */
void SysCtlFreqDividerOutputEnable(xtBoolean bEnable, unsigned char u8Divider)
{
    xASSERT(u8Divider<=15);
    if(bEnable)
    {
        xHWREG(SYSCLK_FRQDIV) &= ~SYSCLK_FRQDIV_FSEL_M;
        xHWREG(SYSCLK_FRQDIV) |= u8Divider;
        xHWREG(SYSCLK_FRQDIV) |= SYSCLK_FRQDIV_EN;
        SysCtlPeripheralEnable(SYSCTL_PERIPH_FDIV);
    }
    else
    {
        xHWREG(SYSCLK_FRQDIV) &= ~SYSCLK_FRQDIV_EN;
        SysCtlPeripheralDisable(SYSCTL_PERIPH_FDIV);
    }
}