Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
[barrelfish] / if / acpi.if
index 3b1b1ee..fdda0ba 100644 (file)
@@ -39,6 +39,9 @@ interface acpi "acpi RPC Interface" {
     rpc reset(out errval err);
     rpc sleep(in uint32 state, out errval err);
 
+    rpc get_handle(in String devid[2048], out uint64 handle, out errval err);
+    rpc eval_integer(in uint64 handle, in String path[2048], out uint64 val, out errval err);
+
     // Kludge: retrieve frame cap to VBE BIOS;
     rpc get_vbe_bios_cap(out errval err, out cap cap, out uint32 size);
 
@@ -61,4 +64,3 @@ interface acpi "acpi RPC Interface" {
                                out cap devframe, out errval err);
     rpc mm_free_proxy(in cap devframe, in uint64 base, in uint8 sizebits, out errval err);
 };
-