xen: Port Xen grant table driver from mini-os
[platform/kernel/u-boot.git] / include / xen.h
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, initialize event handler and xenbus,
12  * setup the grant table.
13  */
14 void xen_init(void);
15
16 #endif /* __XEN_H__ */