Symbol: tsc_get_timecount_rdtscp
sys/arch/amd64/amd64/tsc.c
174
tsc_timecounter.tc_get_timecount = tsc_get_timecount_rdtscp;
sys/arch/amd64/amd64/tsc.c
40
u_int tsc_get_timecount_rdtscp(struct timecounter *tc);