TID_URO            40 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c13_TID_URO]		= read_sysreg(TID_URO);
TID_URO            69 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c13_TID_URO],	TID_URO);