有关ti8168中CPU频率设置中的函数定义问题

你好，

      在使用8168 DVRRDk做开发的的过程中，由于想要理解它的各个内核主频是如何设置的。查看程序定位到Utils.c程序中有个设置CPUFrequency函数如下：

UInt32 Utils_setCpuFrequency (UInt32 freq)
{
UInt cookie;
Types_FreqHz cpuHz;
Types_FreqHz OldCpuHz;

BIOS_getCpuFreq(&OldCpuHz);

cookie = Hwi_disable();
cpuHz.lo = freq;
cpuHz.hi = 0;
ti_sysbios_BIOS_setCpuFreq(&cpuHz);
Clock_tickStop();
Clock_tickReconfig();
Clock_tickStart();
Hwi_restore(cookie);

BIOS_getCpuFreq(&cpuHz);
Vps_printf("***** SYSTEM : Frequency <ORG> - %d, <NEW> - %d\n", OldCpuHz.lo, cpuHz.lo);
return 0;
}

请问大家，这个函数中的Types_FreqHz、ti_sysbios_BIOS_setCpuFreq（）、BIOS_getCpuFreq（）等变量和函数在哪个文件中有定义呀？

谢谢！