Searched refs:vmx_basic_vmcs_revision_id (Results 1 – 3 of 3) sorted by relevance
136 static inline u32 vmx_basic_vmcs_revision_id(u64 vmx_basic) in vmx_basic_vmcs_revision_id() function
1285 if (vmx_basic_vmcs_revision_id(vmx_basic) != in vmx_restore_vmx_basic()1286 vmx_basic_vmcs_revision_id(data)) in vmx_restore_vmx_basic()
2909 vmcs->hdr.revision_id = vmx_basic_vmcs_revision_id(vmcs_config.basic); in alloc_vmcs_cpu()3002 vmcs->hdr.revision_id = vmx_basic_vmcs_revision_id(vmcs_config.basic); in alloc_kvm_area()