1/*
2 * Copyright (c) 2014 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, Universitaetsstrasse 6, CH-8092 Zurich. Attn: Systems Group.
8 */
9
10#ifndef VBLOCK_HOST_H_
11#define VBLOCK_HOST_H_
12
13
14
15/**
16 * \brief Initializes
17 */
18errval_t vblock_host_get_device_cap(struct capref *cap);
19
20errval_t vblock_host_device_poll(void);
21
22void *vblock_host_translate_phys2virt(lpaddr_t paddr);
23
24#endif /* VBLOCK_HOST_H_ */
25