Symbol: start_TSC
sys/x86/include/clock.h
37
void start_TSC(void);
sys/x86/isa/clock.c
406
start_TSC();