vmx_is_valid_cr4
return vmx_is_valid_cr4(vcpu, cr4);
bool vmx_is_valid_cr4(struct kvm_vcpu *vcpu, unsigned long cr4);