xen: Port Xen event channel driver from mini-os

[platform/kernel/u-boot.git] / include / xen.h

diff --git a/include/xen.h b/include/xen.h
index abc3546..64ed3f0 100644 (file)
--- a/include/xen.h
+++ b/include/xen.h
@@ -8,7 +8,7 @@
 /**
  * xen_init() - Xen initialization
  *
- * Map Xen memory pages.
+ * Map Xen memory pages, initialize event handler.
  */
 void xen_init(void);