diff --git a/common/startup.c b/common/startup.c index 6dca270..c7d0cf0 100644 --- a/common/startup.c +++ b/common/startup.c @@ -161,7 +161,7 @@ /* NOTREACHED - no way out of command loop except booting */ } -void hang (void) +void __noreturn hang (void) { puts ("### ERROR ### Please RESET the board ###\n"); for (;;); diff --git a/include/common.h b/include/common.h index 3b3d2de..fb1400c 100644 --- a/include/common.h +++ b/include/common.h @@ -65,8 +65,8 @@ */ void reginfo(void); -void hang (void) __attribute__ ((noreturn)); -void panic(const char *fmt, ...); +void __noreturn hang (void); +void __noreturn panic(const char *fmt, ...); /* */ long int initdram (int); diff --git a/lib/vsprintf.c b/lib/vsprintf.c index 26fcaa7..91ad613 100644 --- a/lib/vsprintf.c +++ b/lib/vsprintf.c @@ -593,7 +593,7 @@ } EXPORT_SYMBOL(asprintf); -void panic(const char *fmt, ...) +void __noreturn panic(const char *fmt, ...) { va_list args; va_start(args, fmt);