PMCR_N_SHIFT
#define PMCR_N_MASK (0x1ful << PMCR_N_SHIFT)
switch ((hypctx->pmcr_el0 & PMCR_N_MASK) >> PMCR_N_SHIFT) {
switch ((hypctx->pmcr_el0 & PMCR_N_MASK) >> PMCR_N_SHIFT) {
el2ctx->mdcr_el2 |= (el2ctx->pmcr_el0 & PMCR_N_MASK) >> PMCR_N_SHIFT;
arm64_npmcs = (pmcr & PMCR_N_MASK) >> PMCR_N_SHIFT;