c13_TID_PRIV      130 arch/arm/include/asm/kvm_host.h 	c13_TID_PRIV,		/* Thread ID, Privileged */
c13_TID_PRIV      200 arch/arm64/include/asm/kvm_host.h #define c13_TID_PRIV	(TPIDR_EL1 * 2)	/* Thread ID, Privileged */