VOID __fastcall DbgkPostEnclaveModuleMessages(_EPROCESS *Process, _ETHREAD *Thread, INT64 a3, INT64 a4, INT64 a5){
_DBGKM_APIMSG *v8;
__int64 v9;
INT64 v10;
if( (_DWORD)a5 )
{
v8 = (_DBGKM_APIMSG *)(a4 + 16);
v9 = (unsigned int)a5;
do
{
LODWORD(v10) = v8[1];
DbgkPostModuleMessage(Process, Thread, *((PVOID *)v8 - 2), *v8, v10, a3);
v8 += 6;
--v9;
}
while( v9 );
}
}