// Decompiled: 0xffe079f5
// Function: PsfTgtConfig
// Module: TxtPei.efi (TXTPEI)

int __fastcall PsfTgtConfig(unsigned __int16 *a1)
{
  int v2; // eax

  if ( ((unsigned __int8)a1 & 1) != 0 ) /*0xffe079fb*/
  {
    v2 = DebugPrintProtocol(); /*0xffe079fd*/
    if ( v2 ) /*0xffe07a04*/
      (*(void (__cdecl **)(const char *, int, const char *))(v2 + 4))( /*0xffe07a15*/
        "e:\\hs\\MdePkg\\Library\\BaseIoLibIntrinsic\\IoLib.c",
        151,
        "(Address & 1) == 0");
  }
  return *a1; /*0xffe07a21*/
}