/* 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.
 */
void xen_init(void);

#endif /* __XEN_H__ */