LXR uboot/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 */
  14int xen_init(void);
  15
  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 */
  22void xen_fini(void);
  23
  24#endif /* __XEN_H__ */
  25