kernel/proc: only expose `process_switch_any()`

other parts of the kernel don't need to care about which process exactly
gets switched into

1 files changed, 0 insertions, 4 deletions

diff --git a/src/kernel/proc.h b/src/kernel/proc.h
index 9304f28..3d3459d 100644
--- a/src/kernel/proc.h
+++ b/src/kernel/proc.h
@@ -63,12 +63,8 @@ extern struct process *process_current;
 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
 
-/** If there are any processes waiting for IRQs, wait with them. Otherwise, shut down */
-_Noreturn void process_idle(void);
-
 /** Used for iterating over all processes */
 struct process *process_next(struct process *);