// Decompiled: 0xffe079e3
// Function: PsfRegisterRead
// Module: TxtPei.efi (TXTPEI)

unsigned int __thiscall PsfRegisterRead(void *n1288)
{
  int v1; // eax

  v1 = PsfRegisterWrite(n1288); /*0xffe079e5*/
  return IoWrite8(v1, 0, 0x17u); /*0xffe079f4*/
}