Symbol: VMCS_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();