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  */
14 int 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  */
22 void xen_fini(void);
23 
24 #endif /* __XEN_H__ */
25