// AsciiStrLen - decompiled from Platform.efi
UINTN __cdecl AsciiStrLen(const CHAR8 *_r_n)
{
  unsigned __int64 v1; // rdx
  CHAR8 *%02d_%02d_%04d__%02d:%02d; // r8
  unsigned __int16 *va__1; // r9
  unsigned __int16 *va_; // [rsp+48h] [rbp+20h] BYREF

  va_ = va__1; /*0x6215*/
  return UnicodeToString((unsigned __int64)_r_n, v1, %02d_%02d_%04d__%02d:%02d, &va_); /*0x6228*/
}