ARMV8_PMU_USERENR_MASK
write_sysreg(ARMV8_PMU_USERENR_MASK, pmuserenr_el0);
(p->regval & ARMV8_PMU_USERENR_MASK));
& ARMV8_PMU_USERENR_MASK;