// Decompiled: 0xffe0708c
// Function: IoRead8
// Module: TxtPei.efi (TXTPEI)

unsigned __int64 __cdecl IoRead8(int a1, int a2, int a3)
{
  unsigned __int64 result; // rax
  unsigned __int64 v4; // [esp-10h] [ebp-24h]

  v4 = __readmsr(0x1Bu); /*0xffe070a5*/
  result = IoRead16(v4, HIDWORD(v4), a2, a3); /*0xffe070a6*/
  __writemsr(0x1Bu, result); /*0xffe070bd*/
  return result; /*0xffe070bf*/
}