// Decompiled: 0xffe062b0
// Function: setMem32
// Module: TxtPei.efi (TXTPEI)

int __cdecl setMem32(int a1, int a2, int a3, int a4)
{
  do /*0xffe062c9*/
  {
    *(_DWORD *)(a1 + 8 * a2 - 8) = a3; /*0xffe062c1*/
    *(_DWORD *)(a1 + 8 * a2-- - 4) = a4; /*0xffe062c5*/
  }
  while ( a2 ); /*0xffe062c9*/
  return a1; /*0xffe062cd*/
}