| // 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. | |
| using fuchsia.acpi; | |
| fuchsia.BIND_PROTOCOL == fuchsia.acpi.BIND_PROTOCOL.DEVICE; | |
| fuchsia.BIND_ACPI_HID_0_3 == 0x47465348; // 'GFSH' | |
| accept fuchsia.BIND_ACPI_HID_4_7 { | |
| 0x30303033, // '0003' | |
| } |