Symbol: rdtscp
lib/libsys/x86/__vdso_gettc.c
143
return (rdtscp());
sys/amd64/vmm/intel/vmx.c
182
SYSCTL_INT(_hw_vmm_vmx_cap, OID_AUTO, rdtscp, CTLFLAG_RD, &cap_rdtscp, 0,
sys/x86/x86/cpu_machdep.c
1869
return (rdtscp);