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/thread.h | |
| parent | 5ee8402d3746e1e7831f6094aa07d29c5306b416 (diff) | |
Use the C11 alignas and noreturn macros
Diffstat (limited to 'kern/thread.h')
| -rw-r--r-- | kern/thread.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kern/thread.h b/kern/thread.h index 24e3c67..760bb5e 100644 --- a/kern/thread.h +++ b/kern/thread.h @@ -36,11 +36,11 @@ #include <assert.h> #include <stdbool.h> #include <stddef.h> +#include <stdnoreturn.h> #include <kern/atomic.h> #include <kern/condition.h> #include <kern/cpumap.h> -#include <kern/macros.h> #include <kern/spinlock_types.h> #include <kern/turnstile_types.h> #include <machine/cpu.h> @@ -203,7 +203,7 @@ int thread_create(struct thread **threadp, const struct thread_attr *attr, /* * Terminate the calling thread. */ -void __noreturn thread_exit(void); +noreturn void thread_exit(void); /* * Wait for the given thread to terminate and release its resources. @@ -244,7 +244,7 @@ void thread_wakeup(struct thread *thread); * * Interrupts must be disabled when calling this function. */ -void __noreturn thread_run_scheduler(void); +noreturn void thread_run_scheduler(void); /* * Make the calling thread release the processor. |