Home
last modified time | relevance | path

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

/arch/x86/kernel/cpu/
Dintel.c418 u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2; in detect_vmx_virtcap() local
/arch/x86/kvm/
Dvmx.c3228 u32 vmx_msr_low, vmx_msr_high; in adjust_vmx_controls() local
3246 u32 vmx_msr_low, vmx_msr_high; in allow_1_setting() local
3254 u32 vmx_msr_low, vmx_msr_high; in setup_vmcs_config() local