// DevicePathAppend - decompiled from Platform.efi
UINTN __fastcall DevicePathAppend(const void *Node)
{
  __int64 v1; // rbx
  const void *Node_1; // rsi
  const void *i; // rcx

  v1 = 0; /*0x768f*/
  Node_1 = Node; /*0x7694*/
  if ( Node && DevicePathNodeOps(Node) ) /*0x769c*/
  {
    for ( i = Node_1; !DevicePathIsEndInstance(i); i = Node_1 ) /*0x76a5*/
      Node_1 = (const void *)DevicePathNextNode(Node_1); /*0x76af*/
    return DevicePathNodeLength(Node_1) + (_BYTE *)Node_1 - (_BYTE *)Node; /*0x76c9*/
  }
  return v1; /*0x76da*/
}
