Symbol: tsc_init
sys/x86/include/clock.h
29
void tsc_init(void);
sys/x86/isa/clock.c
133
tsc_init();