PMCR_N_MASK
switch ((hypctx_read_sys_reg(hypctx, PMCR_EL0) & PMCR_N_MASK) >>
switch ((hypctx_read_sys_reg(hypctx, PMCR_EL0) & PMCR_N_MASK) >>
(hypctx_read_sys_reg(el2ctx, PMCR_EL0) & PMCR_N_MASK) >> PMCR_N_SHIFT;
(READ_SPECIALREG(pmcr_el0) & PMCR_N_MASK) | PMCR_LC);
arm64_npmcs = (pmcr & PMCR_N_MASK) >> PMCR_N_SHIFT;