u-boot/include/xen.h

16 lines
253 B
C
Raw Normal View History

/* 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, initialize event handler.
*/
void xen_init(void);
#endif /* __XEN_H__ */