diff options
| author | dzwdz | 2022-04-14 07:51:32 +0200 |
|---|---|---|
| committer | dzwdz | 2022-04-14 07:51:32 +0200 |
| commit | cd096cf7aa7b96e04a68d059efe3239d77d25d78 (patch) | |
| tree | 5c76b652c584c0cda2d770cbb87f25196fdf9d85 /src/kernel/proc.h | |
| parent | f1ef26f435d2eef53a718cf1c2b06387e29b2a3b (diff) | |
kernel: basic page allocator, `process_free`
Diffstat (limited to 'src/kernel/proc.h')
| -rw-r--r-- | src/kernel/proc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/kernel/proc.h b/src/kernel/proc.h index 1d84b7f..eaa649a 100644 --- a/src/kernel/proc.h +++ b/src/kernel/proc.h @@ -58,6 +58,7 @@ extern struct process *process_current; // creates the root process struct process *process_seed(void); struct process *process_fork(struct process *parent); +void process_free(struct process *); _Noreturn void process_switch(struct process *proc); _Noreturn void process_switch_any(void); // switches to any running process |