@@ -42,7 +42,7 @@ static void __init early_puts(const char *s)
}
}
-static void __init early_vprintk(const char *fmt, va_list args)
+void __init early_vprintk(const char *fmt, va_list args)
{
vsnprintf(buf, sizeof(buf), fmt, args);
early_puts(buf);
@@ -11,14 +11,18 @@
#define __ARM_EARLY_PRINTK_H__
#include <xen/config.h>
+#include <xen/init.h>
+#include <xen/stdarg.h>
#ifdef EARLY_UART_ADDRESS
+void __init early_vprintk(const char *fmt, va_list args);
void early_printk(const char *fmt, ...);
void early_panic(const char *fmt, ...) __attribute__((noreturn));
#else
+static inline void __init early_vprintk(const char *fmt, va_list args) {}
static inline void early_printk(const char *fmt, ...) {}
static inline void __attribute__((noreturn)) early_panic(const char *fmt, ...) {while(1);}
Signed-off-by: Julien Grall <julien.grall@linaro.org> --- xen/arch/arm/early_printk.c | 2 +- xen/include/asm-arm/early_printk.h | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-)