actlr_el1          47 arch/arm64/kvm/hyp/sysreg-sr.c 	ctxt->sys_regs[ACTLR_EL1]	= read_sysreg(actlr_el1);
actlr_el1         121 arch/arm64/kvm/hyp/sysreg-sr.c 	write_sysreg(ctxt->sys_regs[ACTLR_EL1],		actlr_el1);
actlr_el1          36 arch/arm64/kvm/sys_regs_generic_v8.c 	__vcpu_sys_reg(vcpu, ACTLR_EL1) = read_sysreg(actlr_el1);