// Decompiled: 0xffe074e8
// Function: PeiServicesAssert
// Module: TxtPei.efi (TXTPEI)

int __fastcall PeiServicesAssert(int a1, int a2, int a3)
{
  int result; // eax

  result = DebugPrintProtocol(); /*0xffe074ee*/
  if ( result ) /*0xffe074f5*/
    return (*(int (__cdecl **)(int, int, int))(result + 4))(a1, a2, a3); /*0xffe074fd*/
  return result; /*0xffe07503*/
}