使用底层驱动库版本2.1.0.12573. 希望设置系统时钟运行在80MHz，如下：
SysCtlClockSet(SYSCTL_SYSDIV_2_5 | SYSCTL_USE_PLL | SYSCTL_OSC_MAIN | SYSCTL_XTAL_16MHZ); // SET SYSTEM CLOCK TO 80MHZ
g_ulsysClk = SysCtlClockGet(); // Get the system clock value
why is g_ulsysClk 66666666, rather than 80000000;
返回值仍然是66MHz，而不是80MHz，问题出在哪里？
在早期的库版本是错误的，但现在还是错误，到底是设置错误还是底库没有更新？
