// StrAppendInfo - decompiled from Platform.efi
__int64 __fastcall StrAppendInfo(char *Gen1, CHAR16 *ZeroPool)
{
  char v2; // al
  unsigned __int8 v3; // r8
  __int64 v4; // r9

  v2 = *Gen1; /*0x4e18*/
  v3 = 0; /*0x4e1d*/
  if ( *Gen1 ) /*0x4e18*/
  {
    v4 = 0; /*0x4e24*/
    do /*0x4e3c*/
    {
      ++v3; /*0x4e2a*/
      ZeroPool[v4] = v2; /*0x4e2d*/
      v4 = v3; /*0x4e32*/
      v2 = Gen1[v3]; /*0x4e36*/
    }
    while ( v2 ); /*0x4e3c*/
  }
  ZeroPool[v3] = 0; /*0x4e42*/
  return v3; /*0x4e47*/
}