// Decompiled: 0xffe0721e
// Function: MmioWrite16
// Module: TxtPei.efi (TXTPEI)

unsigned int __cdecl MmioWrite16(int a1)
{
  __int64 v1; // rdi
  unsigned __int64 v2; // rax
  int v3; // eax
  int v4; // esi

  HIDWORD(v1) = ReportStatusCode(0) & 1; /*0xffe07234*/
  LODWORD(v1) = 0; /*0xffe07237*/
  v2 = ReportStatusCode(0); /*0xffe07239*/
  if ( __PAIR64__(v2, HIDWORD(v2)) != v1 ) /*0xffe07243*/
  {
    v3 = DebugPrintProtocol(); /*0xffe07249*/
    if ( v3 ) /*0xffe07250*/
      (*(void (__cdecl **)(const char *, int, const char *))(v3 + 4))( /*0xffe07261*/
        "e:\\hs\\MdePkg\\Library\\BaseLib\\BitField.c",
        869,
        "RShiftU64 (AndData, EndBit - StartBit) == (RShiftU64 (AndData, EndBit - StartBit) & 1)");
  }
  v4 = ReportProgressCode(8, -1, -1); /*0xffe0727c*/
  return a1 & ~(v4 & ~(unsigned int)ReportProgressCode(8, -2, -1)); /*0xffe0729a*/
}