1/* SPDX-License-Identifier: GPL-2.0
2 *
3 * (C) 2020, EPAM Systems Inc.
4 */
5#ifndef __XEN_H__
6#define __XEN_H__
7
8/**
9 * xen_init() - Xen initialization
10 *
11 * Map Xen memory pages, initialize event handler and xenbus,
12 * setup the grant table.
13 */
14int xen_init(void);
15
16/**
17 * xen_fini() - Board cleanup before Linux kernel start
18 *
19 * Unmap Xen memory pages the specified guest's pseudophysical
20 * address space and unbind all event channels.
21 */
22void xen_fini(void);
23
24#endif /* __XEN_H__ */
25