__kvm_is_valid_cr4
if (CC(!__kvm_is_valid_cr4(vcpu, save->cr4)))
__kvm_is_valid_cr4(vcpu, val);
return __kvm_is_valid_cr4(vcpu, cr4) &&