Lines Matching refs:vmx_msr_high
3103 u32 vmx_msr_low, vmx_msr_high; in adjust_vmx_controls() local
3106 rdmsr(msr, vmx_msr_low, vmx_msr_high); in adjust_vmx_controls()
3108 ctl &= vmx_msr_high; /* bit == 0 in high word ==> must be zero */ in adjust_vmx_controls()
3121 u32 vmx_msr_low, vmx_msr_high; in allow_1_setting() local
3123 rdmsr(msr, vmx_msr_low, vmx_msr_high); in allow_1_setting()
3124 return vmx_msr_high & ctl; in allow_1_setting()
3129 u32 vmx_msr_low, vmx_msr_high; in setup_vmcs_config() local
3235 rdmsr(MSR_IA32_VMX_BASIC, vmx_msr_low, vmx_msr_high); in setup_vmcs_config()
3238 if ((vmx_msr_high & 0x1fff) > PAGE_SIZE) in setup_vmcs_config()
3243 if (vmx_msr_high & (1u<<16)) in setup_vmcs_config()
3248 if (((vmx_msr_high >> 18) & 15) != 6) in setup_vmcs_config()
3251 vmcs_conf->size = vmx_msr_high & 0x1fff; in setup_vmcs_config()