Symbol: tsc_tc_init
sys/arch/x86/x86/cpu.c
788
tsc_tc_init();
sys/arch/x86/x86/tsc.h
34
void tsc_tc_init(void);