2020-08-06 17:42:48 +08:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0
|
|
|
|
|
*
|
|
|
|
|
* (C) 2020, EPAM Systems Inc.
|
|
|
|
|
*/
|
|
|
|
|
#ifndef __XEN_H__
|
|
|
|
|
#define __XEN_H__
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* xen_init() - Xen initialization
|
|
|
|
|
*
|
2020-08-06 17:42:54 +08:00
|
|
|
* Map Xen memory pages, initialize event handler and xenbus,
|
|
|
|
|
* setup the grant table.
|
2020-08-06 17:42:48 +08:00
|
|
|
*/
|
2020-11-28 16:43:14 +08:00
|
|
|
int xen_init(void);
|
2020-08-06 17:42:48 +08:00
|
|
|
|
2020-08-06 17:43:00 +08:00
|
|
|
/**
|
|
|
|
|
* xen_fini() - Board cleanup before Linux kernel start
|
|
|
|
|
*
|
|
|
|
|
* Unmap Xen memory pages the specified guest's pseudophysical
|
|
|
|
|
* address space and unbind all event channels.
|
|
|
|
|
*/
|
|
|
|
|
void xen_fini(void);
|
|
|
|
|
|
2020-08-06 17:42:48 +08:00
|
|
|
#endif /* __XEN_H__ */
|
