/* SPDX-License-Identifier: GPL-2.0 | |
* | |
* (C) 2020, EPAM Systems Inc. | |
*/ | |
#ifndef __XEN_H__ | |
#define __XEN_H__ | |
/** | |
* xen_init() - Xen initialization | |
* | |
* Map Xen memory pages, initialize event handler and xenbus, | |
* setup the grant table. | |
*/ | |
void xen_init(void); | |
#endif /* __XEN_H__ */ |