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, Haldeneggsteig 4, 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  rpc steal( in uint8 bits,
17             in genpaddr minbase,
18             in genpaddr maxlimit,
19             out errval ret,
20             out give_away_cap mem_cap );
21  rpc available( out genpaddr mem_avail, out genpaddr mem_total );
22
23  // XXX: Trusted call, may only be called by monitor.
24  // Should move this to its own binding.
25  rpc free_monitor(in give_away_cap mem_cap, in genpaddr base, in uint8 bits, out errval err);
26};
27