// Decompiled: 0xffe0760e
// Function: IoWrite32
// Module: TxtPei.efi (TXTPEI)

bool __thiscall IoWrite32(void *this)
{
  unsigned int n4; // eax
  int this_1; // [esp+0h] [ebp-4h] BYREF

  this_1 = (int)this; /*0xffe07611*/
  CpuRegRead(&this_1, 0, 0, 0); /*0xffe0761a*/
  n4 = IoWrite8(this_1, 8u, 0xBu); /*0xffe07627*/
  return n4 != 4 && n4 != 5; /*0xffe07641*/
}