1/* 2 * Copyright (c) 2007, 2008, 2009, 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 10 11/* 12 TODO: asynchronous or rpc style? 13 TODO: add bulk transfer sequence number? 14*/ 15 16interface block_service "block service interface" { 17 message read(uint32 start_block, uint32 count, uint32 seqn); 18 message setup(iref tx_iref, iref rx_iref); 19 message status(errval err, uint32 seqn, uint32 req); 20}; 21