From: Keir Fraser <keir.fraser@citrix.com>
Date: Thu, 17 Jan 2008 14:39:45 +0000 (+0000)
Subject: minios: Add noreturn attribute to do_exit
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=e6f3e483fc5ad42d1c159a80485dc33f4443667f;p=people%2Fliuw%2Flibxenctrl-split%2Fmini-os.git

minios: Add noreturn attribute to do_exit

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
---

diff --git a/include/ia64/os.h b/include/ia64/os.h
index 4e9f595..51e365e 100644
--- a/include/ia64/os.h
+++ b/include/ia64/os.h
@@ -44,7 +44,7 @@ typedef uint64_t caddr_t;		/* rr7/kernel memory address. */
 #include "mm.h"
 
 
-void do_exit(void);
+void do_exit(void) __attribute__((noreturn));
 void arch_init(start_info_t *si);	/* in common.c */
 void arch_print_info(void);		/* in common.c */
 
diff --git a/include/x86/os.h b/include/x86/os.h
index 80f5586..7a4433b 100644
--- a/include/x86/os.h
+++ b/include/x86/os.h
@@ -21,7 +21,7 @@
 
 #define USED    __attribute__ ((used))
 
-extern void do_exit(void);
+extern void do_exit(void) __attribute__((noreturn));
 #define BUG do_exit
 
 #endif