1// Copyright 2018 The Fuchsia Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5library ddk.protocol.acpi;
6
7using zx;
8
9[Layout = "ddk-protocol"]
10interface Acpi {
11    MapResource(uint32 resource_id, uint32 cache_policy) -> (zx.status s, vector<voidptr>? vaddr,
12                                                             handle<resource> @handle);
13    MapInterrupt(int64 irq_id) -> (zx.status s, handle<interrupt> @handle);
14};
15