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
10interface skb_map "SKB's map testapp interface" {
11    message sharepage (
12        cap cap,
13        uint64 pagenumber
14    );
15    message mapfunction (
16        uint64 functionnumber,
17        uint64 startaddress,
18        uint64 endaddress
19    );
20    message mapfinished (
21        uint64 coreid
22    );
23
24    message initialized (
25        uint64 core_id
26    );
27};
28