WARNING - OLD ARCHIVES

This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
   
 
 
Xen 
 
Home Products Support Community News
 
   
 

xen-devel

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

To: xen-devel@xxxxxxxxxxxxxxxxxxx
Subject: [Xen-devel] [PATCH] [Mini-OS] Add noreturn attribute to do_exit
From: Samuel Thibault <samuel.thibault@xxxxxxxxxxxxx>
Date: Thu, 17 Jan 2008 13:35:29 +0000
Delivery-date: Thu, 17 Jan 2008 05:37:05 -0800
Envelope-to: www-data@xxxxxxxxxxxxxxxxxx
List-help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-id: Xen developer discussion <xen-devel.lists.xensource.com>
List-post: <mailto:xen-devel@lists.xensource.com>
List-subscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
List-unsubscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
Mail-followup-to: Samuel Thibault <samuel.thibault@xxxxxxxxxxxxx>, xen-devel@xxxxxxxxxxxxxxxxxxx
Sender: xen-devel-bounces@xxxxxxxxxxxxxxxxxxx
User-agent: Mutt/1.5.12-2006-07-14
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

<Prev in Thread] Current Thread [Next in Thread>
  • [Xen-devel] [PATCH] [Mini-OS] Add noreturn attribute to do_exit, Samuel Thibault <=