1 files changed, 0 insertions, 10 deletions
diff --git a/arch/x86/machine/tcb.c b/arch/x86/machine/tcb.c
index a15c6709..bd16c638 100644
--- a/arch/x86/machine/tcb.c
+++ b/arch/x86/machine/tcb.c
@@ -18,19 +18,9 @@
 #include <kern/param.h>
 #include <machine/tcb.h>
 
-/*
- * Low level context switch function.
- */
-void tcb_context_switch(struct tcb *prev, struct tcb *next);
-
 void
 tcb_init(struct tcb *tcb, void *stack, void (*fn)(void))
 {
     tcb->sp = (unsigned long)stack + STACK_SIZE;
     tcb->ip = (unsigned long)fn;
 }
-
-void tcb_switch(struct tcb *prev, struct tcb *next)
-{
-    tcb_context_switch(prev, next);
-}