1 files changed, 18 insertions, 0 deletions
diff --git a/arch/x86_64/tcb_switch.c b/arch/x86_64/tcb_switch.c
new file mode 100644
index 0000000..bc8808d
--- /dev/null
+++ b/arch/x86_64/tcb_switch.c
@@ -0,0 +1,18 @@
+#include "tasking.h"
+#include "arch/processor.h"
+
+extern void _arch_context_restore(uintptr_t rsp);
+
+void
+tcb_switch(tcb_t *to)
+{
+    processor_t *proc = processor_current();
+    tcb_t *from = proc->tcb;
+
+    proc->tcb = to;
+    if(from != to) {
+        pd_switch(to->pd);
+    }
+    tss_set_rsp(&proc->_tss, 0, to->ksp);
+    _arch_context_restore(to->ksp);
+}