Dear John,
I have one more question.
SysCtlClockFreqSet((SYSCTL_XTAL_25MHZ | SYSCTL_OSC_MAIN | SYSCTL_USE_PLL |SYSCTL_CFG_VCO_480), 120000000);
Those 34 cycles, is correct to say they are at 120MHz or are those 34 cycles at 25MHz (see code above).
Arne