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

  va_start(va, EarlyVideo:_Enabling_VGA_decode_n);
  result = PeiLocatePpi();
  v3 = (int (__cdecl **)(int, char *, char *))result;
  if ( result )
  {
    result = DebugVgaPrint();
    if ( (result & a1) != 0 )
      return (*v3)(a1, EarlyVideo:_Enabling_VGA_decode_n, (char *)va);
  }
  return result;
}