Symbol: rdtscp
lib/libc/arch/amd64/gen/usertc.c
45
*tc = rdtscp();
sys/arch/amd64/amd64/tsc.c
173
tsc_rdtsc = rdtscp;
sys/arch/amd64/amd64/tsc.c
310
return rdtscp();