sys/arch/amd64/stand/prekern/prekern.h

84

uint64_t rdtsc(void);

sys/arch/amd64/stand/prekern/prng.c

152

val = rdtsc();

sys/arch/x86/include/cpufunc.h

92

extern uint64_t (*rdtsc)(void);

sys/arch/x86/x86/cpu_rng.c

340

*sample = rdtsc();

sys/arch/x86/x86/tsc.c

201

rdtsc = rdtsc_##fence; \

sys/arch/x86/x86/tsc.c

297

bptsc = rdtsc();

sys/arch/x86/x86/tsc.c

352

tsc += rdtsc();

sys/arch/x86/x86/tsc.c

489

return (rdtsc() - ((uint64_t)starttsc_hi << 32 | starttsc_lo)) /

sys/arch/x86/x86/tsc.c

69

uint64_t (*rdtsc)(void) = rdtsc_cpuid;

sys/arch/xen/xen/xen_clock.c

302

tsc = rdtsc();

sys/arch/xen/xen/xen_clock.c

611

tsc_start = last_tsc = rdtsc();

sys/arch/xen/xen/xen_clock.c

622

tsc = rdtsc();

sys/dev/nvmm/x86/nvmm_x86_svm.c

1743

vmcb->ctrl.tsc_offset = cpudata->gtsc - rdtsc();

sys/dev/nvmm/x86/nvmm_x86_svm.c

1839

cpudata->gtsc = rdtsc() + vmcb->ctrl.tsc_offset;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2442

vmx_vmwrite(VMCS_TSC_OFFSET, cpudata->gtsc - rdtsc());

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2555

cpudata->gtsc = vmx_vmread(VMCS_TSC_OFFSET) + rdtsc();