1 /* Copyright (c) 2017, ETH Zurich.
4 * This file is distributed under the terms in the attached LICENSE file.
5 * If you do not find this file, copies can be found by writing to:
6 * ETH Zurich D-INFK, Universitätstrasse 6, CH-8092 Zurich. Attn: Systems Group.
12 void write_queue_tails(void);
13 size_t check_queue_0(void);
14 errval_t terminate_queue_0(void);
15 errval_t init_queue_0(char* cname, uint64_t mac_addr, void* device,
16 bool interrupts, bool userspace, struct capref* ev,
17 struct capref* tx, struct capref* rx);