Free resources used by Xen board before jumping to Linux kernel.
Signed-off-by: Oleksandr Andrushchenko <oleksandr_andrushchenko@epam.com>
Signed-off-by: Anastasiia Lukianenko <anastasiia_lukianenko@epam.com>
Reviewed-by: Simon Glass <sjg@chromium.org>
#include <dm.h>
#include <errno.h>
#include <malloc.h>
+#include <xen.h>
#include <asm/io.h>
#include <asm/armv8/mmu.h>
return 0;
}
+void board_cleanup_before_linux(void)
+{
+ xen_fini();
+}
+
init_gnttab();
}
+void xen_fini(void)
+{
+ debug("%s\n", __func__);
+
+ fini_gnttab();
+ fini_xenbus();
+ fini_events();
+}
*/
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__ */