// Decompiled: 0xffe0748d
// Function: DebugPrintProtocol
// Module: TxtPei.efi (TXTPEI)

int DebugPrintProtocol()
{
  int v0; // eax
  int v2; // [esp+0h] [ebp-8h] BYREF
  int v3; // [esp+4h] [ebp-4h] BYREF

  v0 = PeiServicesGet(); /*0xffe07492*/
  if ( (*(int (__cdecl **)(int, void *, _DWORD, int *, int *))(*(_DWORD *)v0 + 32))(v0, &unk_FFE08C50, 0, &v2, &v3) >= 0 ) /*0xffe074b1*/
    return v3; /*0xffe074b7*/
  else
    return 0; /*0xffe074b3*/
}