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 /**
  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
  24 #endif /* __XEN_H__ */