diff options
author | dzwdz | 2022-04-28 19:49:06 +0200 |
---|---|---|
committer | dzwdz | 2022-04-28 19:49:06 +0200 |
commit | 7c96f9c03502e0c60f23f4c550d12a629f3b3daf (patch) | |
tree | 0a783ec4f827595031688462452e84c4c9a7df83 /src/kernel/proc.h | |
parent | 866b7c764e3ed3031c96c23c856ede7955f2706e (diff) |
kernel/proc: reparent deathbedded processes
dead processes now can't have alive children
Diffstat (limited to 'src/kernel/proc.h')
-rw-r--r-- | src/kernel/proc.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/kernel/proc.h b/src/kernel/proc.h index 7389b74..4fabe0e 100644 --- a/src/kernel/proc.h +++ b/src/kernel/proc.h @@ -13,6 +13,8 @@ enum process_state { PS_WAITS4FS, PS_WAITS4REQUEST, PS_WAITS4IRQ, // set by root vfs + + PS_DUMMY, PS_LAST, }; @@ -62,6 +64,8 @@ extern struct process *process_current; // creates the root process struct process *process_seed(struct kmain_info *info); struct process *process_fork(struct process *parent); + +void process_forget(struct process *); // remove references to process void process_free(struct process *); _Noreturn void process_switch_any(void); // switches to any running process |