summaryrefslogtreecommitdiff
path: root/lapic.c
diff options
context:
space:
mode:
authorFrans Kaashoek <[email protected]>2010-07-28 14:38:05 -0400
committerFrans Kaashoek <[email protected]>2010-07-28 14:38:05 -0400
commitb738a4f1a2dd2956123a734327aeaf9d09b5faca (patch)
treebe82845b2c8d46a4744e6ebc26b18cec5979c924 /lapic.c
parentde40730dad816ab576f64bf02041bcf812c929e9 (diff)
downloadxv6-labs-b738a4f1a2dd2956123a734327aeaf9d09b5faca.tar.gz
xv6-labs-b738a4f1a2dd2956123a734327aeaf9d09b5faca.tar.bz2
xv6-labs-b738a4f1a2dd2956123a734327aeaf9d09b5faca.zip
kill TLB shoot down code
Diffstat (limited to 'lapic.c')
-rw-r--r--lapic.c38
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.