// Decompiled: 0xffe07a53
// Function: PsfRegisterWrite
// Module: TxtPei.efi (TXTPEI)

unsigned __int32 __thiscall PsfRegisterWrite(void *n1288)
{
  unsigned __int16 n1288_1; // bx
  int v2; // eax

  n1288_1 = (unsigned __int16)n1288; /*0xffe07a54*/
  if ( ((unsigned __int8)n1288 & 3) != 0 ) /*0xffe07a59*/
  {
    v2 = DebugPrintProtocol(); /*0xffe07a5b*/
    if ( v2 ) /*0xffe07a62*/
      (*(void (__cdecl **)(const char *, int, const char *))(v2 + 4))( /*0xffe07a73*/
        "e:\\hs\\MdePkg\\Library\\BaseIoLibIntrinsic\\IoLibMsc.c",
        193,
        "(Port & 3) == 0");
  }
  return __indword(n1288_1); /*0xffe07a7d*/
}