| 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 | |
| Oleksandr Andrushchenko | d17f669 | 2020-08-06 12:43:00 +0300 | [diff] [blame] | 16 | /** |
| 17 | * xen_fini() - Board cleanup before Linux kernel start |
| 18 | * |
| 19 | * Unmap Xen memory pages the specified guest's pseudophysical |
| 20 | * address space and unbind all event channels. |
| 21 | */ |
| 22 | void xen_fini(void); |
| 23 | |
| Oleksandr Andrushchenko | 4865441 | 2020-08-06 12:42:48 +0300 | [diff] [blame] | 24 | #endif /* __XEN_H__ */ |