Symbol: tsc_timecounter_init
sys/arch/amd64/amd64/identcpu.c
59
void tsc_timecounter_init(struct cpu_info *, uint64_t);
sys/arch/amd64/amd64/identcpu.c
770
tsc_timecounter_init(ci, freq);