TIVA的时钟配置不到80MHz吗？？？

TM4C123x的主频最大可到80MHz。有一个版本的Tivaware的SysCtlClockGet源码写得有点问题。后续会修正。

楼主可以用如下方法来设置和读取时钟：

uint32_t g_ulsysClk = 0;

ROM_SysCtlClockSet(SYSCTL_SYSDIV_2_5 | SYSCTL_USE_PLL | SYSCTL_OSC_MAIN | SYSCTL_XTAL_16MHZ);

g_ulsysClk = ROM_SysCtlClockGet();

ROM中的代码没问题。