TM4C123G定时器定时时间怎么计算？

SysCtlClockSet(SYSCTL_SYSDIV_5|SYSCTL_USE_PLL|SYSCTL_XTAL_16MHZ|SYSCTL_OSC_MAIN);

TimerLoadSet(TIMER0_BASE, TIMER_A,SysCtlClockGet() / 10 - 1);//计数频率10HZ

为什么这样就是10Hz, /10就是10Hz吗？我不太清楚，请求解答，在线等。