Searched refs:vmx_msr_low (Results 1 – 1 of 1) sorted by relevance
2379 u32 vmx_msr_low, vmx_msr_high; in adjust_vmx_controls() local2382 rdmsr(msr, vmx_msr_low, vmx_msr_high); in adjust_vmx_controls()2385 ctl |= vmx_msr_low; /* bit == 1 in low word ==> must be one */ in adjust_vmx_controls()2398 u32 vmx_msr_low, vmx_msr_high; in setup_vmcs_config() local2560 rdmsr(MSR_IA32_VMX_BASIC, vmx_msr_low, vmx_msr_high); in setup_vmcs_config()2580 vmcs_conf->revision_id = vmx_msr_low; in setup_vmcs_config()
