Symbol: PMCR_EL0
sys/arm64/vmm/vmm_hyp.c
106
hypctx_write_sys_reg(hypctx, PMCR_EL0,
sys/arm64/vmm/vmm_hyp.c
125
switch ((hypctx_read_sys_reg(hypctx, PMCR_EL0) & PMCR_N_MASK) >>
sys/arm64/vmm/vmm_hyp.c
461
hypctx_read_sys_reg(hypctx, PMCR_EL0));
sys/arm64/vmm/vmm_hyp.c
483
switch ((hypctx_read_sys_reg(hypctx, PMCR_EL0) & PMCR_N_MASK) >>
sys/arm64/vmm/vmm_reset.c
113
(hypctx_read_sys_reg(el2ctx, PMCR_EL0) & PMCR_N_MASK) >> PMCR_N_SHIFT;
sys/arm64/vmm/vmm_reset.c
67
hypctx_write_sys_reg(el2ctx, PMCR_EL0,