Mark board_init_[fr] as noreturn

Signed-off-by: Mike Frysinger <vapier@gentoo.org>

diff --git a/include/common.h b/include/common.h
index 75fb676458a25b009adb2afab3208066fab87c3b..13428b301d0f9e720ad41497625460dd8298c72b 100644 (file)
--- a/include/common.h
+++ b/include/common.h
@@ -203,8 +203,8 @@ void        init_cmd_timeout(void);
 void   reset_cmd_timeout(void);
 
 /* lib_$(ARCH)/board.c */
-void   board_init_f  (ulong);
-void   board_init_r  (gd_t *, ulong);
+void   board_init_f  (ulong) __attribute__ ((noreturn));
+void   board_init_r  (gd_t *, ulong) __attribute__ ((noreturn));
 int    checkboard    (void);
 int    checkflash    (void);
 int    checkdram     (void);