| // Copyright 2025 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.reset; | |
| // The numeric ID of this reset pin. | |
| uint RESET_ID; | |
| // The numeric ID of the controller. | |
| uint CONTROLLER_ID; | |
| // The string name of this reset pin. | |
| string NAME; |