DbgkPostEnclaveModuleMessages

INT64 __fastcall DbgkPostEnclaveModuleMessages(PVOID Object, PVOID a2, KEVENT *Event, INT64 a4, INT64 a5){
  INT64 result; 
  PVOID *v9; 
  __int64 v10; 
  INT64 v11; 
  result = (unsigned int)a5;
  if( (_DWORD)a5 )
  {
    v9 = (PVOID *)(a4 + 16);
    v10 = (unsigned int)a5;
    do
    {
      LODWORD(v11) = *((_DWORD *)v9 + 1);
      LODWORD(result) = DbgkPostModuleMessage(Object, a2, *(v9 - 2), *(unsigned int *)v9, v11, Event);
      v9 += 3;
      --v10;
    }
    while( v10 );
  }
  return result;
}

Referenced by: