Hello forum,
For some reason it seems the ALTCLK source bit is not clearing when set for SYSTEM_CLOCK and the timers default to PIOSC_CLOCK 16Mhz. The times debug checked timer PP register 27 bit 6 was set ALTCLK has explicitly asserted PIOSC in the configuration. So I was oblivious the it never set 120Mhz timer clocks.
Now aware all my configured timers never cleared bit 6 in register 27 when explicitly configured to do so.
TM4C1296NCPDTi3
This command does not work:
ROM_TimerClockSourceSet(TIMER1_BASE, TIMER_CLOCK_SYSTEM);