Searched refs:vmx_msr_high (Results 1 – 1 of 1) sorted by relevance
2557 u32 vmx_msr_low, vmx_msr_high; in adjust_vmx_controls() local2560 rdmsr(msr, vmx_msr_low, vmx_msr_high); in adjust_vmx_controls()2562 ctl &= vmx_msr_high; /* bit == 0 in high word ==> must be zero */ in adjust_vmx_controls()