> +static inline bool vmx_control_verify(u32 control, u32 low, u32 high) > +{ > + return fixed_bits_valid(control, low, high); > +} > + > +static inline u64 vmx_control_msr(u32 low, u32 high) > +{ > + return low | ((u64)high << 32); > +} > + > static void vmx_disable_shadow_vmcs(struct vcpu_vmx *vmx) > { > secondary_exec_controls_clearbit(vmx, SECONDARY_EXEC_SHADOW_VMCS); > @@ -856,6 +866,17 @@ static int nested_vmx_store_msr_check(struct kvm_vcpu *vcpu, > return 0; > } > > +static u64 vmx_control_msr(u32 low, u32 high); Oops, I forgot to delete this declaration, which is no longer needed after applying Sean's suggestions, in v2. I can send out a v3 with this line removed after folks comment on this version.