diff options
Diffstat (limited to 'arch/x86/machine/tcb.h')
-rw-r--r-- | arch/x86/machine/tcb.h | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/arch/x86/machine/tcb.h b/arch/x86/machine/tcb.h index bd0a793d..b3785afe 100644 --- a/arch/x86/machine/tcb.h +++ b/arch/x86/machine/tcb.h @@ -24,8 +24,6 @@ #include <kern/assert.h> #include <kern/macros.h> #include <machine/cpu.h> -#include <machine/lapic.h> -#include <machine/trap.h> /* * Architecture specific thread data. @@ -89,18 +87,4 @@ tcb_switch(struct tcb *prev, struct tcb *next) */ void tcb_trace(const struct tcb *tcb); -/* - * Send a rescheduling interrupt to a remote processor. - */ -static inline void -tcb_send_reschedule(unsigned int cpu) -{ - lapic_ipi_send(cpu, TRAP_RESCHEDULE); -} - -/* - * Interrupt handler for rescheduling requests. - */ -void tcb_reschedule_intr(struct trap_frame *frame); - #endif /* _X86_TCB_H */ |