Searched defs:vmx_msr_low (Results 1 – 2 of 2) sorted by relevance
346 u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2; in detect_vmx_virtcap() local
2968 u32 vmx_msr_low, vmx_msr_high; in adjust_vmx_controls() local2986 u32 vmx_msr_low, vmx_msr_high; in allow_1_setting() local2994 u32 vmx_msr_low, vmx_msr_high; in setup_vmcs_config() local