1/*
2 * Copyright (c) 2011, 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 bcache "Buffer cache" {
11    typedef uint32 fsize; // file size type (4G ought to be enough ...!)
12
13    rpc new_client(out cap bulk);
14
15    rpc get_start(in char key[key_len, 2048], out uint64 idx, out bool haveit, out uint64 transid, out uint64 size);
16    rpc get_stop(in uint64 transid, in uint64 idx, in uint64 length);
17
18    rpc print_stats();
19};
20
21