请问有没有Tiva C Series TM4C123G 的库函数文档说明资料

例如下面代码中SysCtlClockSet函数的使用说明。

int main(void)
{
// Setup the system clock to run at 50 Mhz from PLL with crystal reference
SysCtlClockSet(SYSCTL_SYSDIV_4|SYSCTL_USE_PLL|SYSCTL_XTAL_16MHZ|SYSCTL_OSC_MAIN);
// Enable and configure the GPIO port for the LED operation.

注：我想要能包含尽量多这种函数使用的说明文档。

谢谢