get_pmcr_n
pmcr_n = get_pmcr_n(read_sysreg(pmcr_el0));
pmcr_n = get_pmcr_n(pmcr);
prev = get_pmcr_n(vcpu_get_reg(vcpu, KVM_ARM64_SYS_REG(SYS_PMCR_EL0)));
return get_pmcr_n(pmcr);