// Decompiled: 0xffe074be
// Function: DebugPrint
// Module: TxtPei.efi (TXTPEI)

int DebugPrint(int a1, int a2, ...)
{
  int result; // eax
  int (__cdecl **v3)(int, int, char *); // esi
  va_list va; // [esp+10h] [ebp+Ch] BYREF

  va_start(va, a2);
  result = DebugPrintProtocol(); /*0xffe074bf*/
  v3 = (int (__cdecl **)(int, int, char *))result; /*0xffe074c4*/
  if ( result ) /*0xffe074c8*/
  {
    result = DebugGetErrorLevel(); /*0xffe074ca*/
    if ( (result & a1) != 0 ) /*0xffe074d5*/
      return (*v3)(a1, a2, (char *)va); /*0xffe074e1*/
  }
  return result; /*0xffe074e6*/
}