Symbol: PMXEVCNTR_EL0
sys/arm64/vmm/vmm_hyp.c
116
hypctx_write_sys_reg(hypctx, PMXEVCNTR_EL0,
sys/arm64/vmm/vmm_hyp.c
471
hypctx_read_sys_reg(hypctx, PMXEVCNTR_EL0));