1/*
2 * Copyright (c) 2017, 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, Universitaetsstrasse 6, CH-8092 Zurich. Attn: Systems Group.
8 */
9
10interface dcontrol "Kaluga <-> Driver Instance control interface" {
11
12    /**
13     * Driver takes control of device again (after detach was called).
14     */
15    rpc attach(out errval err);
16
17    /**
18     * Driver gives up control over device.
19     */
20    rpc detach(out errval err);
21
22    /**
23     * Driver is advised to go change mode in certain sleep state.
24     */
25    rpc set_sleep_level(in uint32 level, out errval err);
26
27    /**
28     * Get endpoint to driver.
29     */
30    rpc get_ep(in bool type, out cap ep, out errval err);
31
32};
33