DbgkpFreeDebugEvent

VOID __stdcall DbgkpFreeDebugEvent(_DEBUG_EVENT *DebugEvent){
  _DEBUG_EVENT v1; 
  VOID *v3; 

  v1 = DebugEvent[32];
  if( v1 == 2 )
  {
    v3 = (VOID *)*((_QWORD *)DebugEvent + 18);
  }
  else
  {
    if( v1 != 5 )
      goto LABEL_7;
    v3 = (VOID *)*((_QWORD *)DebugEvent + 17);
  }
  if( v3 )
    ObCloseHandle(v3, 0);
LABEL_7:
  ObfDereferenceObjectWithTag(*((VOID **)DebugEvent + 7), 0x4F676244ui64);
  ObfDereferenceObjectWithTag(*((VOID **)DebugEvent + 8), 0x4F676244ui64);
  ExFreePoolWithTag(DebugEvent, 0);
}

Referenced by: