| // Copyright 2024 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 fuchsia.hardware.power; |
| |
| /// Information related to a power domain. |
| type Domain = table { |
| /// Domain ID should be unique across all power domains in the same level. |
| /// Used to associate power consumers that belong to the same power domain. |
| 1: id uint32; |
| }; |
| |
| /// Passed to the power core driver in metadata as DEVICE_METADATA_POWER_DOMAINS. |
| type DomainMetadata = table { |
| /// List of power domains to be managed by this power driver. |
| 1: domains vector<Domain>:MAX; |
| }; |