Index: kernel/arch/xen32/include/drivers/xconsole.h
===================================================================
--- kernel/arch/xen32/include/drivers/xconsole.h	(revision aecf79fdaee472e18edbe8432718b356d591c455)
+++ kernel/arch/xen32/include/drivers/xconsole.h	(revision deaa22f01020fc8d432df92b990024d02d453083)
@@ -36,4 +36,17 @@
 #define __XCONSOLE_H__
 
+#include <arch/types.h>
+
+typedef struct {
+	char in[1024];
+	char out[2048];
+    uint32_t in_cons;
+	uint32_t in_prod;
+    uint32_t out_cons;
+	uint32_t out_prod;
+} xencons_t;
+
+extern xencons_t console_page;
+
 extern void xen_console_init(void);