c13_TID_URO       129 arch/arm/include/asm/kvm_host.h 	c13_TID_URO,		/* Thread ID, User R/O */
c13_TID_URO       199 arch/arm64/include/asm/kvm_host.h #define c13_TID_URO	(TPIDRRO_EL0 * 2)/* Thread ID, User R/O */