From 13a3d2472961902e809bb90fc5adc6b7696f7db5 Mon Sep 17 00:00:00 2001
From: Marin Ramesa <mpr@hi.t-com.hr>
Date: Mon, 16 Dec 2013 23:55:18 +0100
Subject: Mark functions that don't return with attribute noreturn
---
device/net_io.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'device/net_io.c')
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;
--
cgit v1.2.3