int __cdecl WriteUnaligned32(int a1, int a2)
{
  _DWORD *v2; // ecx
  _DWORD *v3; // esi
  int v4; // eax

  v3 = v2;
  if ( !v2 )
  {
    v4 = GetDebugService();
    if ( v4 )
      (*(void (__cdecl **)(const char *, int, const char *))(v4 + 4))(
        "e:\\hs\\MdePkg\\Library\\BaseLib\\Unaligned.c",
        219,
        "Buffer != ((void *) 0)");
  }
  *v3 = a1;
  v3[1] = a2;
  return a1;
}