TtmNotifyDeviceDeparture

VOID __stdcall TtmNotifyDeviceDeparture(_TERMINAL_DEVICE_PROVIDER Provider, VOID *Token, VOID *a3, _GUID *a4){
  UINT8 v6; 
  NTSTATUS v7; 
  UINT8 v8; 
  int v9; 
  _TTMI_SESSION *v10; 
  _TTMI_SESSION *v11; 
  __int64 v12; 

  v11 = 0i64;
  v12 = 0i64;
  v6 = 0;
  v7 = TtmiAcquireCurrentSession(&v11);
  if( v7 >= 0 )
  {
    TtmpFindDeviceByToken();
    v6 = v8;
    if( v8 )
    {
      v9 = *(_DWORD *)(v12 + 600);
      if( (v9 & 4) == 0 )
      {
        v10 = v11;
        *(_DWORD *)(v12 + 600) = v9 | 4;
        TtmiScheduleSessionWorker((__int64)v10, 1);
      }
    }
    ExReleaseResourceLite(&TtmpSessionLock);
    KeLeaveCriticalRegion();
  }
  else
  {
    TtmiLogError((INT8 *)"TtmNotifyDeviceDeparture", 0x270ui64, (unsigned int)v7, (unsigned int)v7);
  }
  TtmiLogDeviceDepartureNotified(Provider, (UINT64)Token, v6);
}

Referenced by: