1 files changed, 0 insertions, 10 deletions
diff --git a/arch/x86/machine/tcb.c b/arch/x86/machine/tcb.c
index 14d74c67..e65eddf6 100644
--- a/arch/x86/machine/tcb.c
+++ b/arch/x86/machine/tcb.c
@@ -55,13 +55,3 @@ tcb_trace(const struct tcb *tcb)
 {
     strace_show(tcb->ip, tcb->bp);
 }
-
-void
-tcb_reschedule_intr(struct trap_frame *frame)
-{
-    (void)frame;
-
-    lapic_eoi();
-
-    /* Let the return from interrupt code handle rescheduling */
-}