Symbol: TC_TSC_RDTSCP
lib/libc/arch/amd64/gen/usertc.c
44
case TC_TSC_RDTSCP:
sys/arch/amd64/amd64/tsc.c
175
tsc_timecounter.tc_user = TC_TSC_RDTSCP;