diff options
Diffstat (limited to 'device/net_io.c')
| -rw-r--r-- | device/net_io.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/device/net_io.c b/device/net_io.c index bce27b32..68dcc096 100644 --- a/device/net_io.c +++ b/device/net_io.c @@ -553,7 +553,7 @@ void net_ast(void) (void) splx(s); } -void net_thread_continue(void) +void __attribute__ ((noreturn)) net_thread_continue(void) { for (;;) { spl_t s; |