| // Copyright 2020 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.registers; | |
| using zx; | |
| protocol Device { | |
| /// Writes to the register at the specified address | |
| WriteRegister(uint64 address, uint32 value) -> () error zx.status; | |
| }; |