I'm currently using SysCtlClockSet() function to setup the clock on a TM4C4129, as this is what the original documentation I had seemed to call for. However, I found in the current documentation for the Driver Library that SysCtlClockSet() should only be used on the TM4C123, and to use SysCtlClockFreqSet() instead on the 129.
Original docs say SysCtlClockFreqSet() cannot be used with Blizzard-class devices. There also seems to be confusion on which parts are considered Blizzard class after reading other posts. I was under the assumption that the TM4C129 IS Blizzard, in which case has something changed so that SysCtlClockFreqSet() is now recommended over the previous SysCtlClockSet()?
I have tried both and both seem to work.