diff options
| -rw-r--r-- | kernel/include/comus/procs.h | 1 | ||||
| -rw-r--r-- | kernel/procs.c | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/kernel/include/comus/procs.h b/kernel/include/comus/procs.h index d105867..de65849 100644 --- a/kernel/include/comus/procs.h +++ b/kernel/include/comus/procs.h @@ -222,6 +222,7 @@ void schedule(struct pcb *pcb); /** * Select the next process to receive the CPU */ +__attribute__((noreturn)) void dispatch(void); #endif /* procs.h */ diff --git a/kernel/procs.c b/kernel/procs.c index 8cd44a4..f114f52 100644 --- a/kernel/procs.c +++ b/kernel/procs.c @@ -461,6 +461,7 @@ void schedule(struct pcb *pcb) panic("schedule insert fail"); } +__attribute__((noreturn)) void dispatch(void) { assert(current_pcb == NULL, "dispatch: current process is not null"); |