/**
* xen_init() - Xen initialization
*
- * Map Xen memory pages, initialize event handler.
+ * Map Xen memory pages, initialize event handler and xenbus,
+ * setup the grant table.
*/
-void xen_init(void);
+int 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__ */