SysCtlClockSet(SYSCTL_SYSDIV_5|SYSCTL_USE_PLL|SYSCTL_XTAL_16MHZ|SYSCTL_OSC_MAIN);
        //40MHz
这样就是40MHz，

SysCtlClockSet(SYSCTL_SYSDIV_2_5|SYSCTL_USE_PLL|SYSCTL_XTAL_16MHZ|SYSCTL_OSC_MAIN);
        //80MHz

这样就是80MHz

不过，我用到80M的时候，经常会出现一些不太好的问题，比如PWM的频率和设计的不太一样，所以我现在一般最高用到40MHz。