--- Gnu-Mach/kern/machine.h	2020/09/02 04:45:16	1.1
+++ Gnu-Mach/kern/machine.h	2020/09/02 04:47:31	1.1.1.2
@@ -53,6 +53,6 @@ extern kern_return_t processor_shutdown
 /*
  *  action_thread() shuts down processors or changes their assignment.
  */
-extern void action_thread_continue (void);
+extern void action_thread_continue (void) __attribute__((noreturn));
 
 #endif /* _MACHINE_H_ */