diff options
| -rw-r--r-- | kern/machine.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/machine.h b/kern/machine.h index c67213a2..5c55d2cd 100644 --- a/kern/machine.h +++ b/kern/machine.h @@ -54,5 +54,6 @@ extern kern_return_t processor_shutdown (processor_t); * action_thread() shuts down processors or changes their assignment. */ extern void action_thread_continue (void) __attribute__((noreturn)); +extern void action_thread(void) __attribute__((noreturn)); #endif /* _MACHINE_H_ */ |