From f2be6b895e9b0102746bbf8c206b4be279d4943e Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Fri, 10 May 2013 03:17:51 +0100 Subject: [PATCH] xen/arm: Fix early_panic when EARLY_PRINTK is disabled Even if EARLY_PRINTK is not enabled, early_panic must never return. Signed-off-by: Julien Grall Acked-by: Ian Campbell --- xen/include/asm-arm/early_printk.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/include/asm-arm/early_printk.h b/xen/include/asm-arm/early_printk.h index a770d4af73..a0297a79b9 100644 --- a/xen/include/asm-arm/early_printk.h +++ b/xen/include/asm-arm/early_printk.h @@ -20,7 +20,7 @@ void early_panic(const char *fmt, ...) __attribute__((noreturn)); #else static inline void early_printk(const char *fmt, ...) {} -static inline void early_panic(const char *fmt, ...) {} +static inline void __attribute__((noreturn)) early_panic(const char *fmt, ...) {while(1);} #endif -- 2.39.5