xen.h 490 B

123456789101112131415161718192021222324
  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. * xen_init() - Xen initialization
  9. *
  10. * Map Xen memory pages, initialize event handler and xenbus,
  11. * setup the grant table.
  12. */
  13. void xen_init(void);
  14. /**
  15. * xen_fini() - Board cleanup before Linux kernel start
  16. *
  17. * Unmap Xen memory pages the specified guest's pseudophysical
  18. * address space and unbind all event channels.
  19. */
  20. void xen_fini(void);
  21. #endif /* __XEN_H__ */