1/*
2 * Copyright (c) 2018, 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, Universitaetstrasse 6, CH-8006 Zurich. Attn: Systems Group.
8 */
9
10/*
11 * This interface is used for the devq test to request an endpoint of an 
12 * exporting descq
13 */
14interface devif_test "Devif test interface" {
15    // get EP for test
16    rpc request_ep(in coreid core, out errval err, out cap ep);
17};
18