void __fastcall TtmpExitProximity(__int64 a1, _DWORD *a2, char a3){
int v3;
INT64 v6;
v3 = a2[9];
if( (v3 & 8) != 0 )
{
v6 = (unsigned int)a2[67];
a2[9] = v3 & 0xFFFFFFB7 | 0x40;
TtmiLogExitProximity(v6, (unsigned int)a2[68], a3);
a2[9] |= 4u;
TtmiScheduleSessionWorker(a1, 2);
}
}