diff options
Diffstat (limited to 'src/kernel/arch/generic.h')
| -rw-r--r-- | src/kernel/arch/generic.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/kernel/arch/generic.h b/src/kernel/arch/generic.h index 0b7b2f2..b213962 100644 --- a/src/kernel/arch/generic.h +++ b/src/kernel/arch/generic.h @@ -20,6 +20,8 @@ __attribute__((noreturn)) void cpu_halt(void); __attribute__((noreturn)) void cpu_shutdown(void); +__attribute__((noreturn)) +void shutdown(void); /** on x86: waits for an IRQ */ void cpu_pause(void); |