TID_URW            39 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c13_TID_URW]		= read_sysreg(TID_URW);
TID_URW            68 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c13_TID_URW],	TID_URW);