// DevicePathIsEnd - decompiled from Platform.efi
unsigned __int64 DevicePathIsEnd(_BYTE *_r_n, UINTN n38, __int16 n320, char *%02d_%02d_%04d__%02d:%02d, ...)
{
  va_list va; // [rsp+60h] [rbp+28h] BYREF

  va_start(va, %02d_%02d_%04d__%02d:%02d);
  return PrintLibUnicodeVSPrint((unsigned __int64)_r_n, n38, n320, %02d_%02d_%04d__%02d:%02d, (unsigned __int16 **)va); /*0x7495*/
}
