diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-06-25 20:44:44 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-06-25 20:50:25 +0200 |
| commit | 9ded7917da06dea7f7284648281fd5d827f8a9a4 (patch) | |
| tree | 75ab1d8d1b4d89ceb6d17563367c40446c865521 /kern/kernel.h | |
| parent | 5ee8402d3746e1e7831f6094aa07d29c5306b416 (diff) | |
Use the C11 alignas and noreturn macros
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 */ |