I have read several topic that you talk about tha sysctlclockget() function problem that returns 66Mhz value instead of 80Mhz.
You suggested to comment the limitation code at the end of the function
// Limit the maximum clock to the maximum clock frequency.
//
// // if(ui32Max < ui32Clk)
// // {
// // ui32Clk = ui32Max;
// // }
I did it.I had cleared the project, deleted the debug file and build again.The driverlib.lib file was not copied but linked in the TIVAWARE_INSTALL linked resource path folder. I did the same with the driverlib.lib copied into the project.
I still get wrong number from the function that correspond to 66Mhz. I use TivaWare_C_Series-2.1.0.12573
Any suggestions in order to fix this?