// Copyright 2018 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 ddk.protocol.acpi; | |
using zx; | |
[Layout = "ddk-protocol"] | |
interface Acpi { | |
MapResource(uint32 resource_id, uint32 cache_policy) -> (zx.status s, vector<voidptr>? vaddr, | |
handle<resource> @handle); | |
MapInterrupt(int64 irq_id) -> (zx.status s, handle<interrupt> @handle); | |
}; |