Symbol: tsc_user_enable
sys/arch/x86/x86/tsc.h
38
void tsc_user_enable(void);
sys/arch/x86/x86/x86_machdep.c
1391
tsc_user_enable();