HalpKdReleaseDebuggingDevice

_DEVICES_IN_USE *__stdcall HalpKdReleaseDebuggingDevice(_DEBUG_DEVICE_DESCRIPTOR *Device){
  _DEVICES_IN_USE *v1; 
  _LIST_ENTRY *v2; 
  _LIST_ENTRY *Flink; 

  if( Device->NameSpace != KdNameSpaceNone )
  {
    v1 = HalpFindDevice(Device);
    if( v1 )
    {
      v2 = *(_LIST_ENTRY **)&v1->DeviceCount;
      if( *(_DEVICES_IN_USE **)(*(_QWORD *)&v1->DeviceCount + 8i64) != v1
        || (Flink = v1->ListHead.Flink, (_DEVICES_IN_USE *)Flink->Flink != v1) )
      {
        __fastfail(3u);
      }
      Flink->Flink = v2;
      v2->Blink = Flink;
      --*(&CmpDummyThreadEvent + 1056);
    }
  }
  return 0i64;
}

Referenced by: