kill TLB shoot down code

1 files changed, 0 insertions, 38 deletions

diff --git a/lapic.c b/lapic.c
index c1cd7f3..e232abc 100644
--- a/lapic.c
+++ b/lapic.c
@@ -47,27 +47,6 @@ lapicw(int index, int value)
   lapic[ID];  // wait for write to finish, by reading
 }
 
-static uint
-lapicr(uint off)
-{
-  return lapic[off];
-}
-
-static int
-apic_icr_wait()
-{
-    uint i = 100000;
-    while ((lapicr(ICRLO) & BUSY) != 0) {
-        nop_pause();
-        i--;
-        if (i == 0) {
-            cprintf("apic_icr_wait: wedged?\n");
-            return -1;
-        }
-    }
-    return 0;
-}
-
 //PAGEBREAK!
 void
 lapicinit(int c)
@@ -151,23 +130,6 @@ microdelay(int us)
 {
 }
 
-
-// Send IPI
-void
-lapic_ipi(int cpu, int ino)
-{
-  lapicw(ICRHI, cpu << 24);
-  lapicw(ICRLO, FIXED | DEASSERT | ino);
-  if (apic_icr_wait() < 0)
-    panic("lapic_ipi: icr_wait failure");
-}
-
-void
-lapic_tlbflush(uint cpu)
-{
-  lapic_ipi(cpu, T_TLBFLUSH);
-}
-
 #define IO_RTC  0x70
 
 // Start additional processor running bootstrap code at addr.