[Xen-devel] [PATCH] [Mini-OS] Add noreturn attribute to do_exit

[Samuel Thibault <samuel.thibault@xxxxxxxxxxxxx>]

Add noreturn attribute to do_exit

Signed-off-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxxx>

# HG changeset patch
# User Samuel Thibault <samuel.thibault@xxxxxxxxxxxxx>
# Date 1200576777 0
# Node ID f77a39a718209ea7565af423e17644bfdf29257e
# Parent  45d16899a21df6a36611e051e71f621a4439b4a7
Add noreturn attribute to do_exit

diff -r 45d16899a21d -r f77a39a71820 extras/mini-os/include/ia64/os.h
--- a/extras/mini-os/include/ia64/os.h  Sun Jan 13 10:50:18 2008 +0000
+++ b/extras/mini-os/include/ia64/os.h  Thu Jan 17 13:32:57 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 45d16899a21d -r f77a39a71820 extras/mini-os/include/x86/os.h
--- a/extras/mini-os/include/x86/os.h   Sun Jan 13 10:50:18 2008 +0000
+++ b/extras/mini-os/include/x86/os.h   Thu Jan 17 13:32:57 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-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel