// DebugAssertReport - addr:0xffdaede9
int DebugAssertReport(int a1, const char *_nASSERT_EFI_ERROR_(Status___%r)_n, ...)
{
  int result; // eax
  int (__cdecl **v3)(int, const char *, char *); // esi
  va_list va; // [esp+10h] [ebp+Ch] BYREF

  va_start(va, _nASSERT_EFI_ERROR_(Status___%r)_n);
  result = GetPeiServicesPpi();
  v3 = (int (__cdecl **)(int, const char *, char *))result;
  if ( result )
  {
    result = GetDebugErrorLevel();
    if ( (result & a1) != 0 )
      return (*v3)(a1, _nASSERT_EFI_ERROR_(Status___%r)_n, (char *)va);
  }
  return result;
}