Symbol: hpet_tsc_freq
sys/arch/x86/x86/cpu.c
1444
freq = hpet_tsc_freq();
sys/dev/ic/hpetvar.h
52
uint64_t hpet_tsc_freq(void);