diff options
author | Mike Frysinger <vapier@gentoo.org> | 2008-01-28 05:46:01 -0500 |
---|---|---|
committer | Wolfgang Denk <wd@denx.de> | 2008-02-14 01:13:30 +0100 |
commit | 6d1b6f9f89c815eaca44acff8e73ece7181f61b6 (patch) | |
tree | dcc89e09d3f44a97297636df1dfcf5b0e7e5186c /include/common.h | |
parent | 161b2af4d7b48fd602ce333c355a4df0337892bb (diff) |
Mark board_init_[fr] as noreturn
Signed-off-by: Mike Frysinger <vapier@gentoo.org>
Diffstat (limited to 'include/common.h')
-rw-r--r-- | include/common.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/common.h b/include/common.h index 75fb676458..13428b301d 100644 --- 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); |