Searched refs:highest_index (Results 1 – 1 of 1) sorted by relevance
10243 unsigned highest_index = rdmsr(MSR_IA32_VMX_VMCS_ENUM); in vmx_vmcs_shadow_test_body() local10249 for (index = 0; index <= highest_index; index++) in vmx_vmcs_shadow_test_body()