diff options
author | Sascha Hauer <s.hauer@pengutronix.de> | 2010-03-30 10:16:47 +0200 |
---|---|---|
committer | Sascha Hauer <s.hauer@pengutronix.de> | 2010-03-30 14:15:03 +0200 |
commit | e11c07c33994383052f041dd5551b80bee4fb6f3 (patch) | |
tree | 2e8e7c4f7e90f7268b0153baea8fede139e6309a /arch/sandbox/os | |
parent | 6eb741a2e1e8a956097ea59dfe573727ff11160f (diff) | |
download | barebox-e11c07c33994383052f041dd5551b80bee4fb6f3.tar.gz barebox-e11c07c33994383052f041dd5551b80bee4fb6f3.tar.xz |
make reset_cpu a __noreturn function
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Diffstat (limited to 'arch/sandbox/os')
-rw-r--r-- | arch/sandbox/os/common.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/sandbox/os/common.c b/arch/sandbox/os/common.c index d63a2f4063..acfa35e035 100644 --- a/arch/sandbox/os/common.c +++ b/arch/sandbox/os/common.c @@ -137,7 +137,7 @@ uint64_t linux_get_time(void) return now; } -int reset_cpu(int unused) +void __attribute__((noreturn)) reset_cpu(int unused) { cookmode(); exit(0); |