Searched refs:vmcs_revision_id (Results 1 – 3 of 3) sorted by relevance
187 static u32 vmcs_revision_id __read_mostly;459 vmcs_revision_id = vmx_basic_msr_low & VMX_BASIC_REVISION_MASK; in vmx_init_vmcs_config()488 vmcs_revision_id, vmx_basic_msr_low & VMX_BASIC_REVISION_MASK); in vmx_init_vmcs_config()568 vmcs->vmcs_revision_id = vmcs_revision_id; in vmx_alloc_vmcs()
1176 vvmcs->vmcs_revision_id |= VMCS_RID_TYPE_MASK; in nvmx_set_vmcs_pointer()1191 vvmcs->vmcs_revision_id &= ~VMCS_RID_TYPE_MASK; in nvmx_clear_vmcs_pointer()1807 if ( ((vvmcs->vmcs_revision_id ^ vmx_basic_msr) & in nvmx_handle_vmptrld()1810 (vvmcs->vmcs_revision_id & ~VMX_BASIC_REVISION_MASK)) ) in nvmx_handle_vmptrld()2222 (vmcs->vmcs_revision_id & 0x7fffffff); in nvmx_msr_read_intercept()
31 u32 vmcs_revision_id; member
Completed in 39 milliseconds