| Oleksandr Andrushchenko | 4865441 | 2020-08-06 12:42:48 +0300 | [diff] [blame^] | 1 | /* SPDX-License-Identifier: GPL-2.0 |
| 2 | * | ||||
| 3 | * (C) 2020, EPAM Systems Inc. | ||||
| 4 | */ | ||||
| 5 | #ifndef __XEN_H__ | ||||
| 6 | #define __XEN_H__ | ||||
| 7 | |||||
| 8 | /** | ||||
| 9 | * xen_init() - Xen initialization | ||||
| 10 | * | ||||
| 11 | * Map Xen memory pages. | ||||
| 12 | */ | ||||
| 13 | void xen_init(void); | ||||
| 14 | |||||
| 15 | #endif /* __XEN_H__ */ | ||||