u-boot/include/xen.h

/* 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 and xenbus,
 * setup the grant table.
 */
void xen_init(void);

/**
 * xen_fini() - Board cleanup before Linux kernel start
 *
 * Unmap Xen memory pages the specified guest's pseudophysical
 * address space and unbind all event channels.
 */
void xen_fini(void);

#endif /* __XEN_H__ */