// PrintLibUnicodeVSPrint - decompiled from Platform.efi
unsigned __int64 __fastcall PrintLibUnicodeVSPrint(
        unsigned __int64 _r_n,
        UINTN n0xF4240,
        __int16 n320,
        CHAR8 *%02d_%02d_%04d__%02d:%02d,
        unsigned __int16 **va)
{
  CHAR8 *%02d_%02d_%04d__%02d:%02d_2; // r14
  __int64 v6; // r12
  unsigned __int64 _r_n_1; // r13
  __int64 v9; // rdi
  const char *(Buffer____((void__)_0)); // r8
  __int64 n578; // rdx
  __int64 n0xFFFF; // rdx
  UINTN MaxSize; // rdx
  _BYTE *_r_n_12; // rbx
  unsigned __int64 v16; // r10
  __int64 n2_2; // rsi
  int v18; // eax
  bool v19; // zf
  unsigned __int64 n10; // rcx
  CHAR8 *%02d_%02d_%04d__%02d:%02d_3; // rdx
  CHAR8 *%02d_%02d_%04d__%02d:%02d_4; // r8
  unsigned __int64 v23; // r9
  char v24; // r11
  __int64 v25; // rdi
  const char *_r_n_3; // rbx
  unsigned __int16 **va_1; // r10
  CHAR8 *%02d_%02d_%04d__%02d:%02d_5; // rdx
  int v29; // eax
  unsigned __int64 n13_1; // rcx
  unsigned __int16 *v31; // rax
  int v32; // eax
  CHAR8 *%02d_%02d_%04d__%02d:%02d_6; // ... [31787 chars total]
