wip: switch current_pcb and cr3 in switch_thread

2025-11-30 14:54:17 +01:00
parent 274113a401
commit 0d828c8067
4 changed files with 15 additions and 21 deletions
--- a/headers/thread.h
+++ b/headers/thread.h
@ -24,4 +24,4 @@ struct tcb {

 struct tcb *create_thread(struct pcb *process, void (*entry)(void));
 void delete_thread(struct tcb *thread);
-void switch_thread(uint32_t *esp);
+void switch_thread(struct tcb *thread_to_switch);