diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-01-17 14:39:45 +0000 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-01-17 14:39:45 +0000 |
| commit | cb4baf13a2a271208f20c87457242292ff3a0aba (patch) | |
| tree | b2ded9a474fc413329e5c39643a097dff1d43633 /extras/mini-os/include/x86 | |
| parent | c56fe82b7d3720359e20a101e744d446e1be9d29 (diff) | |
| download | xen-cb4baf13a2a271208f20c87457242292ff3a0aba.tar.gz xen-cb4baf13a2a271208f20c87457242292ff3a0aba.tar.bz2 xen-cb4baf13a2a271208f20c87457242292ff3a0aba.zip | |
minios: Add noreturn attribute to do_exit
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'extras/mini-os/include/x86')
| -rw-r--r-- | extras/mini-os/include/x86/os.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/include/x86/os.h b/extras/mini-os/include/x86/os.h index 80f5586a49..7a4433b3f9 100644 --- a/extras/mini-os/include/x86/os.h +++ b/extras/mini-os/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 |