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/sched.c | |
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/sched.c')
0 files changed, 0 insertions, 0 deletions