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