ADS1260: SysCtlDelay函数定义

在官网例程中,在 interface.c 文件中有函数
void delay_ms(uint32_t time_ms)
{
/* --- INSERT YOUR CODE HERE ---
* Delay for a number of milliseconds, as specified by "time_ms".
*
* The following code shows an example using TivaWare?..
* NOTE: In this example 40,000 system ticks is 1 ms.
*/
uint32_t ticks = 40000 * time_ms;
SysCtlDelay(ticks);
}

但是SysCtlDelay()这个函数的定义没有写出来，这是跟MCU有关吗？