/* This function is used to set IP divider number from the corresponding clock source. 
The divider number is chosen with one of the following values: divider 1-16 for peripheral */
void SysCtlIPClockDividerSet(unsigned long ulConfig)
/* This function is used to set IP divider number from the corresponding clock source. 
The divider number is chosen with one of the following values: divider 1-16 for peripheral */
void SysCtlIPClockDividerSet(unsigned long ulConfig)
{
    xASSERT((ulConfig & 0xFF)<=256);
    xHWREG(SYSCLK_CLKDIV) &= ~(SYSCTL_PERIPH_MASK_DIV(ulConfig));
    xHWREG(SYSCLK_CLKDIV) |= (SYSCTL_PERIPH_ENUM_CLK(ulConfig)-1);
}