diff options
| author | dzwdz | 2022-08-15 23:03:18 +0200 |
|---|---|---|
| committer | dzwdz | 2022-08-15 23:03:18 +0200 |
| commit | 63fd7ce362c7f1d59365045f19cf1ca87ffe2db9 (patch) | |
| tree | d991957f52e74afebe88a1ec88ec0d371728160b /src/kernel/arch/generic.h | |
| parent | 3e80780859c4cbe5223ca4329bfd6176f5c2c879 (diff) | |
kernel: combine kmain_early and kmain
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); |