Searched refs:vmx_msr_low (Results 1 – 2 of 2) sorted by relevance
| /linux-4.1.27/arch/x86/kernel/cpu/ |
| D | intel.c | 346 u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2; in detect_vmx_virtcap() local
354 rdmsr(MSR_IA32_VMX_PROCBASED_CTLS, vmx_msr_low, vmx_msr_high); in detect_vmx_virtcap()
355 msr_ctl = vmx_msr_high | vmx_msr_low; in detect_vmx_virtcap()
362 vmx_msr_low, vmx_msr_high); in detect_vmx_virtcap()
363 msr_ctl2 = vmx_msr_high | vmx_msr_low; in detect_vmx_virtcap()
|
| /linux-4.1.27/arch/x86/kvm/ |
| D | vmx.c | 2968 u32 vmx_msr_low, vmx_msr_high; in adjust_vmx_controls() local
2971 rdmsr(msr, vmx_msr_low, vmx_msr_high); in adjust_vmx_controls()
2974 ctl |= vmx_msr_low; /* bit == 1 in low word ==> must be one */ in adjust_vmx_controls()
2986 u32 vmx_msr_low, vmx_msr_high; in allow_1_setting() local
2988 rdmsr(msr, vmx_msr_low, vmx_msr_high); in allow_1_setting()
2994 u32 vmx_msr_low, vmx_msr_high; in setup_vmcs_config() local
3098 rdmsr(MSR_IA32_VMX_BASIC, vmx_msr_low, vmx_msr_high); in setup_vmcs_config()
3116 vmcs_conf->revision_id = vmx_msr_low; in setup_vmcs_config()
|