1 files changed, 8 insertions, 0 deletions
diff --git a/include/xen.h b/include/xen.h
index 686b7148b5d..a952a2c84b8 100644
--- a/include/xen.h
+++ b/include/xen.h
@@ -13,4 +13,12 @@
  */
 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__ */