Searched refs:VMCS_TSC_OFFSET (Results 1 – 3 of 3) sorted by relevance
113 #define VMCS_TSC_OFFSET 0x00002010 macro
1108 vmcs_write(VMCS_TSC_OFFSET, offset); in vmx_apply_tsc_adjust()
2051 error = vm_get_vmcs_field(vcpu, VMCS_TSC_OFFSET, in main()