Searched refs:vmcs_enum_max (Results 1 – 1 of 1) sorted by relevance
370 u32 vmcs_enum_max, max_index = 0; in test_vmwrite_vmread() local379 vmcs_enum_max = (rdmsr(MSR_IA32_VMX_VMCS_ENUM) & VMCS_FIELD_INDEX_MASK) in test_vmwrite_vmread()382 report(vmcs_enum_max == max_index, in test_vmwrite_vmread()384 max_index, vmcs_enum_max); in test_vmwrite_vmread()