// Decompiled: 0xffe0729e
// Function: MmioRead16
// Module: TxtPei.efi (TXTPEI)

unsigned int __cdecl MmioRead16(int a1, int a2, int a3, int a4, unsigned __int64 a5)
{
  unsigned int v5; // eax
  int v6; // edx

  v5 = MmioWrite16(a1); /*0xffe072b1*/
  return IoWrite16(v5, v6, a5); /*0xffe072c4*/
}