vcpu_is_protected
if (!vcpu_is_protected(vcpu) &&
return vcpu_is_protected(&hyp_vcpu->vcpu);
if (unlikely(vcpu_is_protected(vcpu)))
if (unlikely(vcpu_is_protected(vcpu) && vcpu_mode_is_32bit(vcpu))) {
if (vcpu_is_protected(vcpu))