/* 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(g_pulCLKDivRegs[SYSCTL_PERIPH_INDEX_CLK(ulConfig)]) &=
    		                  ~(((ulConfig) >> 8) << (ulConfig >> 16));
    xHWREG(g_pulCLKDivRegs[SYSCTL_PERIPH_INDEX_CLK(ulConfig)]) |=
    		               (((ulConfig & 0xff) - 1) << (ulConfig >> 16));
}