Symbol: ACTLR_EL1
sys/arm64/vmm/vmm_hyp.c
295
hypctx_write_sys_reg(hypctx, ACTLR_EL1, READ_SPECIALREG(actlr_el1));
sys/arm64/vmm/vmm_hyp.c
398
WRITE_SPECIALREG(actlr_el1, hypctx_read_sys_reg(hypctx, ACTLR_EL1));