Searched defs:vmx_msr_high (Results 1 – 1 of 1) sorted by relevance
2448 u32 vmx_msr_low, vmx_msr_high; in adjust_vmx_controls() local2467 u32 vmx_msr_low, vmx_msr_high; in setup_vmcs_config() local