// Decompiled: 0xffe0719c
// Function: IoWrite16
// Module: TxtPei.efi (TXTPEI)

unsigned int __cdecl IoWrite16(int a1, int a2, unsigned __int64 a3)
{
  int v3; // esi
  int v4; // eax
  int v5; // esi

  v3 = ReportStatusCode(a3) & 1; /*0xffe071b8*/
  if ( ReportStatusCode(a3) != v3 ) /*0xffe071c7*/
  {
    v4 = DebugPrintProtocol(); /*0xffe071cd*/
    if ( v4 ) /*0xffe071d4*/
      (*(void (__cdecl **)(const char *, int, const char *))(v4 + 4))( /*0xffe071e5*/
        "e:\\hs\\MdePkg\\Library\\BaseLib\\BitField.c",
        817,
        "RShiftU64 (OrData, EndBit - StartBit) == (RShiftU64 (OrData, EndBit - StartBit) & 1)");
  }
  v5 = ReportProgressCode(8, a3, HIDWORD(a3)); /*0xffe07202*/
  return a1 | v5 & ~(unsigned int)ReportProgressCode(8, -2, -1); /*0xffe0721a*/
}