Home
last modified time | relevance | path

Searched defs:vmx_msr_high (Results 1 – 2 of 2) sorted by relevance

/linux-4.4.14/arch/x86/kernel/cpu/
Dintel.c347 u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2; in detect_vmx_virtcap() local
/linux-4.4.14/arch/x86/kvm/
Dvmx.c3103 u32 vmx_msr_low, vmx_msr_high; in adjust_vmx_controls() local
3121 u32 vmx_msr_low, vmx_msr_high; in allow_1_setting() local
3129 u32 vmx_msr_low, vmx_msr_high; in setup_vmcs_config() local