c1_ACTLR          123 arch/arm/kvm/coproc.c 	*vcpu_reg(vcpu, p->Rt1) = vcpu_cp15(vcpu, c1_ACTLR);
c1_ACTLR          177 arch/arm/kvm/coproc.c 	vcpu_cp15(vcpu, c1_ACTLR) = actlr;
c1_ACTLR          390 arch/arm/kvm/coproc.c 			access_actlr, reset_actlr, c1_ACTLR },