diff options
Diffstat (limited to 'kern/kernel.h')
-rw-r--r-- | kern/kernel.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kern/kernel.h b/kern/kernel.h index 868066e6..22cae43b 100644 --- a/kern/kernel.h +++ b/kern/kernel.h @@ -18,7 +18,7 @@ #ifndef _KERN_KERNEL_H #define _KERN_KERNEL_H -#include <kern/macros.h> +#include <stdnoreturn.h> /* * Kernel properties. @@ -31,13 +31,13 @@ * * Interrupts must be disabled when calling this function. */ -void __noreturn kernel_main(void); +noreturn void kernel_main(void); /* * Entry point for APs. * * Interrupts must be disabled when calling this function. */ -void __noreturn kernel_ap_main(void); +noreturn void kernel_ap_main(void); #endif /* _KERN_KERNEL_H */ |