HalpKdReleaseDebuggingDevice

INT64 __fastcall HalpKdReleaseDebuggingDevice(INT64 a1, INT64 a2){
  __int64 *Device; 
  __int64 v3; 
  __int64 **v4; 
  if( *(_DWORD *)(a1 + 220) != 3 )
  {
    Device = HalpFindDevice(a1);
    if( Device )
    {
      v3 = *Device;
      if( *(__int64 **)(*Device + 8) != Device || (v4 = (__int64 **)Device[1], *v4 != Device) )
        __fastfail(3u);
      *v4 = (__int64 *)v3;
      *(_QWORD *)(v3 + 8) = v4;
      --DevicesList;
    }
  }
  return 0i64;
}

Referenced by: