kore

commit e53de1cf4f481be0d149d878438220825a20e627
parent c83f34c9385e31c1eea080ca3def83f83d9bb4eb
Author: Joris Vink <joris@coders.se>
Date:   Wed, 25 Mar 2020 13:35:02 +0100

mark kore_worker_entry as noreturn.

Diffstat:
include/kore/kore.h
 | 
3
++-

1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/include/kore/kore.h b/include/kore/kore.h
@@ -724,12 +724,13 @@ void		kore_worker_init(void);
 void		kore_worker_make_busy(void);
 void		kore_worker_shutdown(void);
 void		kore_worker_dispatch_signal(int);
-void		kore_worker_entry(struct kore_worker *);
 void		kore_worker_privdrop(const char *, const char *);
 void		kore_worker_spawn(u_int16_t, u_int16_t, u_int16_t);
 int		kore_worker_keymgr_response_verify(struct kore_msg *,
 		    const void *, struct kore_domain **);
 
+void	kore_worker_entry(struct kore_worker *) __attribute__((noreturn));
+
 struct kore_worker	*kore_worker_data(u_int8_t);
 
 void		kore_platform_init(void);