TimerLoadSet(TIMER0_BASE, TIMER_A, SysCtlClockGet() / 40000);
这句话中首先是TimerLoadSet这个函数中的第三个参数填写什么东西，具体是什么？
第二个是SysCtlClockGet() 返回的是什么，是时钟频率，还是其他的？
第三个是例程中SysCtlClockSet(SYSCTL_SYSDIV_1 | SYSCTL_USE_OSC | SYSCTL_OSC_MAIN | SYSCTL_XTAL_16MHZ)设置的是16MHz的系统时钟频率，
而TimerLoadSet(TIMER0_BASE, TIMER_A, SysCtlClockGet() / 40000);解释是Configure the timer to generate an interrupt at a rate of 40 KHz，这个40kHz的频率是怎么来的。
这些问题困扰我好久了，还是搞不懂tiva c的系统时钟及配置方法，以及定时器的中断周期的问题。能具体解答一下吗
