vmx_msr_high      124 arch/x86/kernel/cpu/centaur.c 	u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2;
vmx_msr_high      126 arch/x86/kernel/cpu/centaur.c 	rdmsr(MSR_IA32_VMX_PROCBASED_CTLS, vmx_msr_low, vmx_msr_high);
vmx_msr_high      127 arch/x86/kernel/cpu/centaur.c 	msr_ctl = vmx_msr_high | vmx_msr_low;
vmx_msr_high      135 arch/x86/kernel/cpu/centaur.c 		      vmx_msr_low, vmx_msr_high);
vmx_msr_high      136 arch/x86/kernel/cpu/centaur.c 		msr_ctl2 = vmx_msr_high | vmx_msr_low;
vmx_msr_high      508 arch/x86/kernel/cpu/intel.c 	u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2;
vmx_msr_high      518 arch/x86/kernel/cpu/intel.c 	rdmsr(MSR_IA32_VMX_PROCBASED_CTLS, vmx_msr_low, vmx_msr_high);
vmx_msr_high      519 arch/x86/kernel/cpu/intel.c 	msr_ctl = vmx_msr_high | vmx_msr_low;
vmx_msr_high      526 arch/x86/kernel/cpu/intel.c 		      vmx_msr_low, vmx_msr_high);
vmx_msr_high      527 arch/x86/kernel/cpu/intel.c 		msr_ctl2 = vmx_msr_high | vmx_msr_low;
vmx_msr_high       94 arch/x86/kernel/cpu/zhaoxin.c 	u32 vmx_msr_low, vmx_msr_high, msr_ctl, msr_ctl2;
vmx_msr_high       96 arch/x86/kernel/cpu/zhaoxin.c 	rdmsr(MSR_IA32_VMX_PROCBASED_CTLS, vmx_msr_low, vmx_msr_high);
vmx_msr_high       97 arch/x86/kernel/cpu/zhaoxin.c 	msr_ctl = vmx_msr_high | vmx_msr_low;
vmx_msr_high      105 arch/x86/kernel/cpu/zhaoxin.c 		      vmx_msr_low, vmx_msr_high);
vmx_msr_high      106 arch/x86/kernel/cpu/zhaoxin.c 		msr_ctl2 = vmx_msr_high | vmx_msr_low;
vmx_msr_high     2289 arch/x86/kvm/vmx/vmx.c 	u32 vmx_msr_low, vmx_msr_high;
vmx_msr_high     2292 arch/x86/kvm/vmx/vmx.c 	rdmsr(msr, vmx_msr_low, vmx_msr_high);
vmx_msr_high     2294 arch/x86/kvm/vmx/vmx.c 	ctl &= vmx_msr_high; /* bit == 0 in high word ==> must be zero */
vmx_msr_high     2308 arch/x86/kvm/vmx/vmx.c 	u32 vmx_msr_low, vmx_msr_high;
vmx_msr_high     2468 arch/x86/kvm/vmx/vmx.c 	rdmsr(MSR_IA32_VMX_BASIC, vmx_msr_low, vmx_msr_high);
vmx_msr_high     2471 arch/x86/kvm/vmx/vmx.c 	if ((vmx_msr_high & 0x1fff) > PAGE_SIZE)
vmx_msr_high     2476 arch/x86/kvm/vmx/vmx.c 	if (vmx_msr_high & (1u<<16))
vmx_msr_high     2481 arch/x86/kvm/vmx/vmx.c 	if (((vmx_msr_high >> 18) & 15) != 6)
vmx_msr_high     2484 arch/x86/kvm/vmx/vmx.c 	vmcs_conf->size = vmx_msr_high & 0x1fff;
vmx_msr_high     2486 arch/x86/kvm/vmx/vmx.c 	vmcs_conf->basic_cap = vmx_msr_high & ~0x1fff;