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