Home
last modified time | relevance | path

Searched refs:vmx_msr_low (Results 1 – 3 of 3) sorted by relevance

/Linux-v4.19/arch/x86/kernel/cpu/
Dcentaur.c124 u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2; in centaur_detect_vmx_virtcap() local
126 rdmsr(MSR_IA32_VMX_PROCBASED_CTLS, vmx_msr_low, vmx_msr_high); in centaur_detect_vmx_virtcap()
127 msr_ctl = vmx_msr_high | vmx_msr_low; in centaur_detect_vmx_virtcap()
135 vmx_msr_low, vmx_msr_high); in centaur_detect_vmx_virtcap()
136 msr_ctl2 = vmx_msr_high | vmx_msr_low; in centaur_detect_vmx_virtcap()
Dintel.c480 u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2; in detect_vmx_virtcap() local
490 rdmsr(MSR_IA32_VMX_PROCBASED_CTLS, vmx_msr_low, vmx_msr_high); in detect_vmx_virtcap()
491 msr_ctl = vmx_msr_high | vmx_msr_low; in detect_vmx_virtcap()
498 vmx_msr_low, vmx_msr_high); in detect_vmx_virtcap()
499 msr_ctl2 = vmx_msr_high | vmx_msr_low; in detect_vmx_virtcap()
/Linux-v4.19/arch/x86/kvm/
Dvmx.c4486 u32 vmx_msr_low, vmx_msr_high; in adjust_vmx_controls() local
4489 rdmsr(msr, vmx_msr_low, vmx_msr_high); in adjust_vmx_controls()
4492 ctl |= vmx_msr_low; /* bit == 1 in low word ==> must be one */ in adjust_vmx_controls()
4504 u32 vmx_msr_low, vmx_msr_high; in allow_1_setting() local
4506 rdmsr(msr, vmx_msr_low, vmx_msr_high); in allow_1_setting()
4512 u32 vmx_msr_low, vmx_msr_high; in setup_vmcs_config() local
4636 rdmsr(MSR_IA32_VMX_BASIC, vmx_msr_low, vmx_msr_high); in setup_vmcs_config()
4656 vmcs_conf->revision_id = vmx_msr_low; in setup_vmcs_config()