fish: add missing include to unbreak build
[barrelfish] / if / acpi.if
1 /*
2  * Copyright (c) 2007, 2008, 2009, ETH Zurich.
3  * All rights reserved.
4  *
5  * This file is distributed under the terms in the attached LICENSE file.
6  * If you do not find this file, copies can be found by writing to:
7  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
8  */
9
10 interface acpi "acpi RPC Interface" {
11     typedef struct {
12         uint8 bus;
13         uint8 device;
14         uint8 function;
15     } pci_address;
16
17     // XXX: SKB fails when these values are stored as predicate?
18     rpc get_pcie_confspace(out errval err,
19                            out uint64 address,
20                            out uint16 segment,
21                            out uint8 startbus,
22                            out uint8 endbus);
23
24     rpc read_irq_table(in string handle,
25                        in pci_address addr,
26                        in uint8 bus,
27                        out errval error,
28                        out string child);
29
30     rpc set_device_irq(in string handle,
31                        in uint32 irq,
32                        out errval error);
33
34     rpc enable_and_route_interrupt(in uint32 gsi,
35                                    in coreid dest,
36                                    in uint32 vector,
37                                    out errval error_code);
38
39     rpc reset(out errval err);
40     rpc sleep(in uint32 state, out errval err);
41
42     rpc get_handle(in string devid, out uint64 handle, out errval err);
43     rpc eval_integer(in uint64 handle, in string path, out uint64 val, out errval err); 
44
45     // Kludge: retrieve frame cap to VBE BIOS;
46     rpc get_vbe_bios_cap(out errval err, out cap cap, out uint32 size);
47
48     rpc create_domain(in cap pml4, out errval err);
49
50     rpc delete_domain(in cap pml4, out errval err);
51
52     rpc vtd_add_device(in uint32 seg, in uint32 bus, in uint32 dev, in uint32 funct, in cap pml4, out errval err);
53
54     rpc vtd_remove_device(in uint32 seg, in uint32 bus, in uint32 dev, in uint32 funct, in cap pml4, out errval err);
55
56     rpc vtd_id_dom_add_devices(out errval err);
57     
58     // More Kludge; cap retrieval for pci
59     // We need a designated service to maintain the physical address
60     // space caps (to avoid sibling errors).
61     rpc mm_alloc_range_proxy(in uint8 sizebits, in uint64 minbase,
62                              in uint64 maxlimit, out cap devframe, out errval err);
63     rpc mm_realloc_range_proxy(in uint8 sizebits, in uint64 minbase,
64                                out cap devframe, out errval err);
65     rpc mm_free_proxy(in cap devframe, in uint64 base, in uint8 sizebits, out errval err);
66 };