Symbol: tsc_user_disable
sys/arch/x86/x86/tsc.h
39
void tsc_user_disable(void);
sys/arch/x86/x86/x86_machdep.c
1393
tsc_user_disable();