// Copyright 2023 The Fuchsia Authors. All rights reserved. | |
// Use of this source code is governed by a BSD-style license that can be | |
// found in the LICENSE file. | |
library zbi; | |
const BOARD_NAME_LEN uint64 = 32; | |
// LINT.IfChange | |
/// ZBI_TYPE_PLATFORM_ID payload. | |
type PlatformId = struct { | |
vid uint32; | |
pid uint32; | |
board_name string_array<BOARD_NAME_LEN>; | |
}; | |
/// ZBI_TYPE_DRV_BOARD_INFO payload. | |
type BoardInfo = struct { | |
revision uint32; | |
}; | |
// LINT.ThenChange(//src/lib/assembly/zbi/src/zbi_items.rs) |