Searched refs:VMCS_TSC_OFFSET (Results 1 – 3 of 3) sorted by relevance
148 #define VMCS_TSC_OFFSET 0x00002010 macro
1413 error = vmwrite(VMCS_TSC_OFFSET, offset); in vmx_set_tsc_offset()
2048 error = vm_get_vmcs_field(vcpu, VMCS_TSC_OFFSET, in main()