return params->Op0 == 3 && (params->CRn & 0b1011) == 0b1011;
 }
 
-static int emulate_sys_reg(struct kvm_vcpu *vcpu,
+/**
+ * emulate_sys_reg - Emulate a guest access to an AArch64 system register
+ * @vcpu: The VCPU pointer
+ * @params: Decoded system register parameters
+ *
+ * Return: true if the system register access was successful, false otherwise.
+ */
+static bool emulate_sys_reg(struct kvm_vcpu *vcpu,
                           struct sys_reg_params *params)
 {
        const struct sys_reg_desc *r;
 
        if (likely(r)) {
                perform_access(vcpu, params, r);
-       } else if (is_imp_def_sys_reg(params)) {
+               return true;
+       }
+
+       if (is_imp_def_sys_reg(params)) {
                kvm_inject_undefined(vcpu);
        } else {
                print_sys_reg_msg(params,
                                  *vcpu_pc(vcpu), *vcpu_cpsr(vcpu));
                kvm_inject_undefined(vcpu);
        }
-       return 1;
+       return false;
 }
 
 /**
        struct sys_reg_params params;
        unsigned long esr = kvm_vcpu_get_esr(vcpu);
        int Rt = kvm_vcpu_sys_get_rt(vcpu);
-       int ret;
 
        trace_kvm_handle_sys_reg(esr);
 
        params = esr_sys64_to_params(esr);
        params.regval = vcpu_get_reg(vcpu, Rt);
 
-       ret = emulate_sys_reg(vcpu, ¶ms);
+       if (!emulate_sys_reg(vcpu, ¶ms))
+               return 1;
 
        if (!params.is_write)
                vcpu_set_reg(vcpu, Rt, params.regval);
-       return ret;
+       return 1;
 }
 
 /******************************************************************************