c9_L2CTLR         145 arch/arm/kvm/coproc.c 	*vcpu_reg(vcpu, p->Rt1) = vcpu_cp15(vcpu, c9_L2CTLR);
c9_L2CTLR         162 arch/arm/kvm/coproc.c 	vcpu_cp15(vcpu, c9_L2CTLR) = l2ctlr;
c9_L2CTLR         440 arch/arm/kvm/coproc.c 			access_l2ctlr, reset_l2ctlr, c9_L2CTLR },