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 bulkbench "Bulk benchmark Interface" { 11 message bulk_init(cap shared_mem); 12 message bulk_init_reply(); 13 14 message message_request(uint8 msg[size, 2048]); 15 message message_reply(); 16 17 message bulk_message_request(uint64 id, uint64 size, uint8 last_fragment); 18 message bulk_message_reply(uint64 id, uint8 last_fragment); 19}; 20 21