// DevicePathUtilities - decompiled from Platform.efi
__int64 __fastcall DevicePathUtilities(__int64 a1, __int64 a2, __int64 a3, __int64 a4, __int64 a5)
{
  __int64 v5; // rax
  __int64 v6; // rax

  if ( !a5 ) /*0x77b4*/
    Assert((__int64)"e:\\hs\\MdePkg\\Library\\UefiLib\\UefiLib.c", 154, (__int64)"Registration != ((void *) 0)"); /*0x77c9*/
  v5 = (*(__int64 (__fastcall **)(__int64, __int64, __int64 (__fastcall *)(_QWORD, _QWORD)))(BootServices + 80))( /*0x77f2*/
         512,
         8,
         SetupVarSizeCheck);
  if ( v5 < 0 ) /*0x77fd*/
  {
    DebugPrint(0x80000000, "\nASSERT_EFI_ERROR (Status = %r)\n", v5); /*0x780b*/
    Assert((__int64)"e:\\hs\\MdePkg\\Library\\UefiLib\\UefiLib.c", 167, (__int64)"!EFI_ERROR (Status)"); /*0x7823*/
  }
  v6 = (*(__int64 (__fastcall **)(void *, __int64, __int64))(BootServices + 168))(&unk_FA60, a4, a5); /*0x7840*/
  if ( v6 < 0 ) /*0x7849*/
  {
    DebugPrint(0x80000000, "\nASSERT_EFI_ERROR (Status = %r)\n", v6); /*0x7858*/
    Assert((__int64)"e:\\hs\\MdePkg\\Library\\UefiLib\\UefiLib.c", 179, (__int64)"!EFI_ERROR (Status)"); /*0x7870*/
  }
  (*(void (__fastcall **)(__int64))(BootServices + 104))(a4); /*0x7881*/
  return a4; /*0x7889*/
}