系统时钟的问题

SysCtlClockSet(SYSCTL_SYSDIV_2_5 |
SYSCTL_USE_PLL |
SYSCTL_XTAL_16MHZ |
SYSCTL_OSC_MAIN);

这样设置   我用 SysCtlClockGet   打印出来 是 66666666 ；   SYSCTL_SYSDIV_2_5  不是应该是80M吗 

请问 我这样设置实际频率使多少 ， SysCtlClockGet    函数得到的是不是真得 频率 还是按寄存器计算而来的