Symbol: PMCNTENSET_EL0
sys/arm64/vmm/vmm_hyp.c
118
hypctx_write_sys_reg(hypctx, PMCNTENSET_EL0,
sys/arm64/vmm/vmm_hyp.c
475
hypctx_read_sys_reg(hypctx, PMCNTENSET_EL0));