diff options
| author | Freya Murphy <freya@freyacat.org> | 2025-04-25 11:21:20 -0400 |
|---|---|---|
| committer | Freya Murphy <freya@freyacat.org> | 2025-04-25 11:21:20 -0400 |
| commit | 5d4601d864c03448e32a5b9e1748ce5010a28c44 (patch) | |
| tree | 24b33f2b0b050bbaaf7552f4ce53652f7f4acd55 | |
| parent | syscall_return fn (diff) | |
| download | comus-5d4601d864c03448e32a5b9e1748ce5010a28c44.tar.gz comus-5d4601d864c03448e32a5b9e1748ce5010a28c44.tar.bz2 comus-5d4601d864c03448e32a5b9e1748ce5010a28c44.zip | |
noreturn on dispatch
| -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"); |