diff options
Diffstat (limited to 'arch/x86/machine/tcb.h')
| -rw-r--r-- | arch/x86/machine/tcb.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arch/x86/machine/tcb.h b/arch/x86/machine/tcb.h index b5b20bfc..9c69a5ee 100644 --- a/arch/x86/machine/tcb.h +++ b/arch/x86/machine/tcb.h @@ -23,8 +23,8 @@ #include <assert.h> #include <stdint.h> +#include <stdnoreturn.h> -#include <kern/macros.h> #include <machine/cpu.h> #include <machine/page.h> @@ -70,7 +70,7 @@ tcb_set_current(struct tcb *tcb) * * Called with interrupts disabled. The caller context is lost. */ -void __noreturn tcb_load(struct tcb *tcb); +noreturn void tcb_load(struct tcb *tcb); /* * Context switch. |