// UnicodeToString - decompiled from Platform.efi
unsigned __int64 __fastcall UnicodeToString(
        unsigned __int64 _r_n,
        unsigned __int64 a2,
        CHAR8 *%02d_%02d_%04d__%02d:%02d,
        unsigned __int16 **va)
{
  if ( (_r_n & 1) != 0 ) /*0x61a7*/
    Assert( /*0x61bc*/
      (__int64)"e:\\hs\\MdePkg\\Library\\BasePrintLib\\PrintLib.c",
      77,
      (__int64)"(((UINTN) (StartOfBuffer)) & 0x01) == 0");
  if ( ((unsigned __int8)%02d_%02d_%04d__%02d:%02d & 1) != 0 ) /*0x61c4*/
    Assert( /*0x61d9*/
      (__int64)"e:\\hs\\MdePkg\\Library\\BasePrintLib\\PrintLib.c",
      78,
      (__int64)"(((UINTN) (FormatString)) & 0x01) == 0");
  return PrintLibUnicodeVSPrint(_r_n, a2 >> 1, 320, %02d_%02d_%04d__%02d:%02d, va); /*0x6209*/
}