1// Copyright 2017 The Fuchsia Authors. All rights reserved. 2// Use of this source code is governed by a BSD-style license that can be 3// found in the LICENSE file. 4 5#pragma once 6 7#include <inet6.h> 8 9#define DEVICE_ID_MAX 24 10 11void device_id(mac_addr addr, char out[DEVICE_ID_MAX]); 12