Home
last modified time | relevance | path

Searched refs:vmx_msr_high (Results 1 – 4 of 4) sorted by relevance

/Linux-v5.4/arch/x86/kernel/cpu/
Dzhaoxin.c94 u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2; in zhaoxin_detect_vmx_virtcap() local
96 rdmsr(MSR_IA32_VMX_PROCBASED_CTLS, vmx_msr_low, vmx_msr_high); in zhaoxin_detect_vmx_virtcap()
97 msr_ctl = vmx_msr_high | vmx_msr_low; in zhaoxin_detect_vmx_virtcap()
105 vmx_msr_low, vmx_msr_high); in zhaoxin_detect_vmx_virtcap()
106 msr_ctl2 = vmx_msr_high | vmx_msr_low; in zhaoxin_detect_vmx_virtcap()
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.c508 u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2; in detect_vmx_virtcap() local
518 rdmsr(MSR_IA32_VMX_PROCBASED_CTLS, vmx_msr_low, vmx_msr_high); in detect_vmx_virtcap()
519 msr_ctl = vmx_msr_high | vmx_msr_low; in detect_vmx_virtcap()
526 vmx_msr_low, vmx_msr_high); in detect_vmx_virtcap()
527 msr_ctl2 = vmx_msr_high | vmx_msr_low; in detect_vmx_virtcap()
/Linux-v5.4/arch/x86/kvm/vmx/
Dvmx.c2317 u32 vmx_msr_low, vmx_msr_high; in adjust_vmx_controls() local
2320 rdmsr(msr, vmx_msr_low, vmx_msr_high); in adjust_vmx_controls()
2322 ctl &= vmx_msr_high; /* bit == 0 in high word ==> must be zero */ in adjust_vmx_controls()
2336 u32 vmx_msr_low, vmx_msr_high; in setup_vmcs_config() local
2496 rdmsr(MSR_IA32_VMX_BASIC, vmx_msr_low, vmx_msr_high); in setup_vmcs_config()
2499 if ((vmx_msr_high & 0x1fff) > PAGE_SIZE) in setup_vmcs_config()
2504 if (vmx_msr_high & (1u<<16)) in setup_vmcs_config()
2509 if (((vmx_msr_high >> 18) & 15) != 6) in setup_vmcs_config()
2512 vmcs_conf->size = vmx_msr_high & 0x1fff; in setup_vmcs_config()
2514 vmcs_conf->basic_cap = vmx_msr_high & ~0x1fff; in setup_vmcs_config()