blob: a952a2c84b8b586ecb35c468e842f58bc6c62619 [file] [log] [blame]
/* 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);
/**
* 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);
#endif /* __XEN_H__ */