// Decompiled: 0xffe07141
// Function: IoWrite8
// Module: TxtPei.efi (TXTPEI)

unsigned int __fastcall IoWrite8(int a1, unsigned int a2, unsigned int a3)
{
  char v3; // si
  int v5; // eax

  v3 = a2; /*0xffe07142*/
  if ( a2 > a3 ) /*0xffe0714b*/
  {
    v5 = DebugPrintProtocol(); /*0xffe0714d*/
    if ( v5 ) /*0xffe07154*/
      (*(void (__cdecl **)(const char *, int, const char *))(v5 + 4))( /*0xffe07165*/
        "e:\\hs\\MdePkg\\Library\\BaseLib\\BitField.c",
        540,
        "StartBit <= EndBit");
  }
  return (a1 & (unsigned int)~(-2 << a3)) >> v3; /*0xffe0717a*/
}