[Xen-changelog] [xen-unstable] minios: Add noreturn attribute to do_exit

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1200580785 0
# Node ID 03c2236e0089d0fe4a929150eff78e97dbdaf69a
# Parent  e51bf624433aa8439a6f5c6676bb79850a2cd1a8
minios: Add noreturn attribute to do_exit

Signed-off-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxxx>
---
 extras/mini-os/include/ia64/os.h |    2 +-
 extras/mini-os/include/x86/os.h  |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff -r e51bf624433a -r 03c2236e0089 extras/mini-os/include/ia64/os.h
--- a/extras/mini-os/include/ia64/os.h  Thu Jan 17 14:39:21 2008 +0000
+++ b/extras/mini-os/include/ia64/os.h  Thu Jan 17 14:39:45 2008 +0000
@@ -44,7 +44,7 @@ typedef uint64_t caddr_t;             /* rr7/kernel
 #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 -r e51bf624433a -r 03c2236e0089 extras/mini-os/include/x86/os.h
--- a/extras/mini-os/include/x86/os.h   Thu Jan 17 14:39:21 2008 +0000
+++ b/extras/mini-os/include/x86/os.h   Thu Jan 17 14:39:45 2008 +0000
@@ -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

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog