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