/* Provides a small delay. 
Details please refer to XSysCtl_Clock_Set_Config_CoX. */
void xSysCtlClockSet(unsigned long ulSysClk, unsigned long ulConfig)
/* Provides a small delay. 
Details please refer to XSysCtl_Clock_Set_Config_CoX. */
void xSysCtlClockSet(unsigned long ulSysClk, unsigned long ulConfig)
{
    xASSERT((ulSysClk > 0 && ulSysClk <= 49000000));
    SysCtlHCLKSourceSet(ulConfig);
}