1/*
2 * Copyright (c) 2007, 2008, 2009, 2010, 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 monitor_mem "Inter-monitor memory allocation" {
11
12    /* Struct to marshal caps between cores */
13    typedef struct {
14        uint64 w0;
15        uint64 w1;
16        uint64 w2;
17        uint64 w3;
18    } caprep;
19
20    rpc alloc(in uint8 size_bits, in genpaddr minbase, in genpaddr maxlimit,
21              in coreid from, out errval err, out caprep caprep);
22
23    rpc free(in caprep caprep, in genpaddr base, in uint8 size_bits, out errval status);
24};
25