Samuel Thibault
2008-Jan-17 13:35 UTC
[Xen-devel] [PATCH] [Mini-OS] Add noreturn attribute to do_exit
Add noreturn attribute to do_exit Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com> # HG changeset patch # User Samuel Thibault <samuel.thibault@xensource.com> # 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@lists.xensource.com http://lists.xensource.com/xen-devel