process_switch_any: deduplicate some code

1 files changed, 1 insertions, 0 deletions

diff --git a/src/kernel/proc.h b/src/kernel/proc.h
index 2f39f2e..c2dfde4 100644
--- a/src/kernel/proc.h
+++ b/src/kernel/proc.h
@@ -34,5 +34,6 @@ extern struct process *process_current;
 struct process *process_seed();
 struct process *process_fork(struct process *parent);
 _Noreturn void process_switch(struct process *proc);
+_Noreturn void process_switch_any(); // switches to any running process
 
 struct process *process_find(enum process_state);