Symbol: VMCS_TSC_OFFSET
sys/amd64/vmm/intel/vmx.c
1424
error = vmwrite(VMCS_TSC_OFFSET, offset);
usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c
1751
error = vm_get_vmcs_field(vcpu, VMCS_TSC_OFFSET,