| 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 | * |
| Oleksandr Andrushchenko | c850674 | 2020-08-06 12:42:54 +0300 | [diff] [blame^] | 11 | * Map Xen memory pages, initialize event handler and xenbus, |
| 12 | * setup the grant table. |
| Oleksandr Andrushchenko | 4865441 | 2020-08-06 12:42:48 +0300 | [diff] [blame] | 13 | */ |
| 14 | void xen_init(void); |
| 15 | |
| 16 | #endif /* __XEN_H__ */ |