Home
last modified time | relevance | path

Searched defs:vmx_msr_high (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
Dintel.c480 u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2; in detect_vmx_virtcap() local
/Linux-v4.19/arch/x86/kvm/
Dvmx.c4486 u32 vmx_msr_low, vmx_msr_high; in adjust_vmx_controls() local
4504 u32 vmx_msr_low, vmx_msr_high; in allow_1_setting() local
4512 u32 vmx_msr_low, vmx_msr_high; in setup_vmcs_config() local