1/*
2 * Copyright (c) 2007, 2008, 2009, 2011, 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-8092 Zurich. Attn: Systems Group.
8 */
9
10interface mem "Memory allocation RPC interface" {
11  rpc allocate( in uint8 bits,
12                in genpaddr minbase,
13                in genpaddr maxlimit,
14                out errval ret,
15                out give_away_cap mem_cap );
16
17  rpc steal( in uint8 bits,
18             in genpaddr minbase,
19             in genpaddr maxlimit,
20             out errval ret,
21             out give_away_cap mem_cap );
22  rpc available( out genpaddr mem_avail, out genpaddr mem_total );
23
24  // XXX: Trusted call, may only be called by monitor.
25  // Should move this to its own binding.
26  rpc free_monitor(in give_away_cap mem_cap, in genpaddr base, in uint8 bits, out errval err);
27};
28