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