DbgkpFreeDebugEvent

VOID __fastcall DbgkpFreeDebugEvent(VOID *P){
  int v1; 
  void *v3; 
  v1 = *((_DWORD *)P + 32);
  if( v1 == 2 )
  {
    v3 = (void *)*((_QWORD *)P + 18);
  }
  else
  {
    if( v1 != 5 )
      goto LABEL_7;
    v3 = (void *)*((_QWORD *)P + 17);
  }
  if( v3 )
    ObCloseHandle(v3, 0);
LABEL_7:
  ObfDereferenceObjectWithTag(*((PVOID *)P + 7), 0x4F676244ui64);
  ObfDereferenceObjectWithTag(*((PVOID *)P + 8), 0x4F676244ui64);
  ExFreePoolWithTag(P, 0);
}

Referenced by:

DbgkpWakeTarget