diff options
author | Segher Boessenkool <segher@kernel.crashing.org> | 2010-04-05 21:05:10 +0200 |
---|---|---|
committer | Segher Boessenkool <segher@kernel.crashing.org> | 2010-04-07 23:49:38 +0200 |
commit | a9bd7b42eb7290b59b49476a718f1968881354b7 (patch) | |
tree | a1d8a664f369750c9742d5cf9fa3f3d4e2a5f3f0 | |
parent | ee756909a7586100f86fcfbe7ed542b8a6f7bd18 (diff) |
Add __noreturn macro
-rw-r--r-- | platform.h | 2 | ||||
-rw-r--r-- | types.h | 1 |
2 files changed, 2 insertions, 1 deletions
@@ -33,7 +33,7 @@ char update_controller(void); u32 get_realtime(void); -void fatal(const char *format, ...); +void __noreturn fatal(const char *format, ...); void warn(const char *format, ...); #endif @@ -27,5 +27,6 @@ typedef signed int s32; #undef __unused #define __unused __attribute__((__unused__)) #define __noinline __attribute__((__noinline__)) +#define __noreturn __attribute__((__noreturn__)) #endif |