Greetings,
Kindly note - this post targets the "TM4C123 family" - may not apply to the "TM4C129 family."
The TM4C123 family is specified to employ a System Clock up to 80MHz. The referenced API (and many code examples) direct the use of "SysCtlClockSet()" - loaded w/the correct parameters - to achieve that 80MHz. Our small tech firm usually does not employ that speed (seeking to avoid "Wait States" - which occur beyond certain System Clock Rates) - yet we recall the parameter "SYSCTL_SYSDIV_2_5" - which (appears) to have "Gone Missing!" (AWOL - for my fellow ex-military cohorts!)
A "true-copy" of the pertinent direction follows:
26.2.2.5 SysCtlClockSet
Sets the clocking of the device.
Prototype: void SysCtlClockSet(uint32_t ui32Config)
Parameters: ui32Config is the required configuration of the device clocking.
Description: This function configures the clocking of the device. The input crystal frequency, oscillator to be used, use of the PLL, and the system clock divider are all configured with this function. The ui32Config parameter is the logical OR of several different values, many of which are grouped into sets where only one can be chosen. The system clock divider is chosen with one of the following values: SYSCTL_SYSDIV_1, SYSCTL_SYSDIV_2, SYSCTL_SYSDIV_3, ... SYSCTL_SYSDIV_64.
Wherefore Art Thou ... "SYSCTL_SYSDIV_2_5"? (Might "Romeo" have "run away" w/that ... too?)