diff options
Diffstat (limited to 'src/kernel/proc.h')
| -rw-r--r-- | src/kernel/proc.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/kernel/proc.h b/src/kernel/proc.h index 592451c..7c338bb 100644 --- a/src/kernel/proc.h +++ b/src/kernel/proc.h @@ -53,6 +53,8 @@ _Noreturn void process_switch_any(void); // switches to any running process struct process *process_find(enum process_state); handle_t process_find_handle(struct process *proc); // finds the first free handle +void process_kill(struct process *proc, int ret); + /** Tries to transistion from PS_DEAD to PS_DEADER. * @return a nonnegative length of the quit message if successful, a negative val otherwise*/ int process_try2collect(struct process *dead); |