include/xen.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

/* 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__ */