From 13a3d2472961902e809bb90fc5adc6b7696f7db5 Mon Sep 17 00:00:00 2001 From: Marin Ramesa Date: Mon, 16 Dec 2013 23:55:18 +0100 Subject: Mark functions that don't return with attribute noreturn --- device/ds_routines.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'device/ds_routines.c') diff --git a/device/ds_routines.c b/device/ds_routines.c index 146b7eb6..c99818b5 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -1479,7 +1479,7 @@ void iodone(ior) splx(s); } -void io_done_thread_continue(void) +void __attribute__ ((noreturn)) io_done_thread_continue(void) { for (;;) { spl_t s; -- cgit v1.2.3