Symbol: MDCCINT_EL1
sys/arm64/vmm/vmm_hyp.c
297
hypctx_write_sys_reg(hypctx, MDCCINT_EL1, READ_SPECIALREG(mdccint_el1));
sys/arm64/vmm/vmm_hyp.c
400
WRITE_SPECIALREG(mdccint_el1, hypctx_read_sys_reg(hypctx, MDCCINT_EL1));