diff --git a/[refs] b/[refs]
index 8579dbf4f3ae..f826f2cd8ec6 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 51dd660a2cd6eab4d470cfe1009c7f473832b786
+refs/heads/master: 9c8a4420444801bd9d818f542eb4a5be8d5687f0
diff --git a/trunk/include/xen/hvc-console.h b/trunk/include/xen/hvc-console.h
index 98b79bc404dd..c3adde32669b 100644
--- a/trunk/include/xen/hvc-console.h
+++ b/trunk/include/xen/hvc-console.h
@@ -5,11 +5,12 @@ extern struct console xenboot_console;
 
 #ifdef CONFIG_HVC_XEN
 void xen_console_resume(void);
+void xen_raw_console_write(const char *str);
+void xen_raw_printk(const char *fmt, ...);
 #else
 static inline void xen_console_resume(void) { }
+static inline void xen_raw_console_write(const char *str) { }
+static inline void xen_raw_printk(const char *fmt, ...) { }
 #endif
 
-void xen_raw_console_write(const char *str);
-void xen_raw_printk(const char *fmt, ...);
-
 #endif	/* XEN_HVC_CONSOLE_H */