Changeset 169587a in mainline for arch/ia32/src

Timestamp:

2005-02-21T21:47:22Z (20 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

b109ebb

Parents:

0ded477

Message:

TLB shootdown.

Location:

arch/ia32/src

Files:

• ia32.c (modified) (1 diff)
• interrupt.c (modified) (2 diffs)
• mm/page.c (modified) (1 diff)
• mm/tlb.c (modified) (1 diff)
• smp/apic.c (modified) (1 diff)

arch/ia32/src/ia32.c

@@ -57 +57 @@
                 
                 trap_register(VECTOR_SYSCALL, syscall);
+                
+                #ifdef __SMP__
+                trap_register(VECTOR_TLB_SHUTDOWN, tlb_shutdown_ipi);
+                #endif /* __SMP__ */
         }
 }

arch/ia32/src/interrupt.c

@@ -34 +34 @@
 #include <cpu.h>
 #include <arch/asm.h>
+#include <mm/tlb.h>
 
 /*
@@ -94 +95 @@
 }
 
+void tlb_shutdown_ipi(__u8 n, __u32 stack[])
+{
+        trap_virtual_eoi();
+        tlb_shutdown_ipi_recv();
+}
+
 void trap_virtual_enable_irqs(__u16 irqmask)
 {

arch/ia32/src/mm/page.c

@@ -135 +135 @@
         pt[pte].uaccessible = (flags & PAGE_USER) != 0;
         pt[pte].writeable = (flags & PAGE_WRITE) != 0;  
-        
-        tlb_invalidate(0);
 }

arch/ia32/src/mm/tlb.c

@@ -30 +30 @@
 #include <arch/asm.h>
 
+#ifdef __SMP__
+#include <arch/apic.h>
+#include <arch/interrupt.h>
+#endif /* __SMP__ */
+
 void tlb_invalidate(int asid)
 {
         cpu_write_dba(cpu_read_dba());
 }
+
+#ifdef __SMP__
+void tlb_shutdown_ipi_send(void)
+{
+        (void) l_apic_broadcast_custom_ipi(VECTOR_TLB_SHUTDOWN);
+}
+#endif /* __SMP__ */

arch/ia32/src/smp/apic.c

@@ -143 +143 @@
 
 /*
+ * Send all CPUs excluding the->cpu IPI vector.
+ */
+int l_apic_broadcast_custom_ipi(__u8 vector)
+{
+        __u32 lo;
+
+        /*
+         * Read the ICR register in and zero all non-reserved fields.
+         */
+        lo = l_apic[ICRlo] & ICRloClear;
+
+        lo |= DLVRMODE_FIXED | DESTMODE_LOGIC | LEVEL_ASSERT | SHORTHAND_EXCL | TRGRMODE_LEVEL | vector;
+        
+        l_apic[ICRlo] = lo;
+
+        lo = l_apic[ICRlo] & ICRloClear;
+        if (lo & SEND_PENDING)
+                printf("IPI is pending.\n");
+
+        return apic_poll_errors();
+}
+
+/*
  * Universal Start-up Algorithm for bringing up the AP processors.
  */