diff options
Diffstat (limited to 'arch/x86/machine/tcb.c')
| -rw-r--r-- | arch/x86/machine/tcb.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/arch/x86/machine/tcb.c b/arch/x86/machine/tcb.c index 8604cee4..fb31a172 100644 --- a/arch/x86/machine/tcb.c +++ b/arch/x86/machine/tcb.c @@ -15,16 +15,17 @@ * along with this program. If not, see <http://www.gnu.org/licenses/>. */ +#include <stdnoreturn.h> + #include <kern/init.h> -#include <kern/macros.h> #include <kern/thread.h> #include <machine/cpu.h> #include <machine/pmap.h> #include <machine/strace.h> #include <machine/tcb.h> -void __noreturn tcb_context_load(struct tcb *tcb); -void __noreturn tcb_start(void); +noreturn void tcb_context_load(struct tcb *tcb); +noreturn void tcb_start(void); void tcb_context_restore(void); struct tcb *tcb_current_ptr __percpu; |