// Decompiled: 0xffe0717f
// Function: IoRead16
// Module: TxtPei.efi (TXTPEI)

int __cdecl IoRead16(int a1, int a2, int a3, int a4)
{
  int v4; // ecx

  return MmioRead16(a1, a2, v4, v4, a3, a4); /*0xffe0719b*/
}