// Decompiled: 0xffe075c7
// Function: IoRead32
// Module: TxtPei.efi (TXTPEI)

unsigned int __fastcall IoRead32(unsigned int a1)
{
  unsigned __int64 v2; // rtt

  LODWORD(v2) = 3579545 * a1; /*0xffe075fd*/
  HIDWORD(v2) = ((3579545 * (unsigned __int64)a1) >> 32) % 0xF4240; /*0xffe075fd*/
  ReadMsr64(v2 / 0xF4240); /*0xffe07602*/
  return a1; /*0xffe07609*/
}