TID_PRIV           41 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c13_TID_PRIV]	= read_sysreg(TID_PRIV);
TID_PRIV           70 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c13_TID_PRIV],	TID_PRIV);