Changeset 7782030 in mainline

Timestamp:

2008-11-23T16:13:21Z (16 years ago)

Author:

Jakub Vana <jakub.vana@…>

Branches:

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

Children:

d2093d6

Parents:

0013b9ce

Message:

Classic TLB shootdown support on ia64

Location:

kernel

Files:

• arch/ia64/include/cpu.h (modified) (1 diff)
• arch/ia64/include/interrupt.h (modified) (1 diff)
• arch/ia64/src/interrupt.c (modified) (3 diffs)
• arch/ia64/src/smp/smp.c (modified) (1 diff)
• generic/src/mm/tlb.c (modified) (1 diff)

kernel/arch/ia64/include/cpu.h

@@ -88 +88 @@
 {
         (bootinfo->sapic)[2*(id*256+eid)]=intno;
+        srlz_d();
+
 }
 

kernel/arch/ia64/include/interrupt.h

@@ -51 +51 @@
 
 /** External Interrupt vectors. */
+
+#define VECTOR_TLB_SHOOTDOWN_IPI 0xf0
 #define INTERRUPT_TIMER         255
 #define IRQ_KBD                 241

kernel/arch/ia64/src/interrupt.c

@@ -54 +54 @@
 #include <ipc/ipc.h>
 #include <synch/spinlock.h>
+#include <mm/tlb.h>
 
 #define VECTORS_64_BUNDLE       20
@@ -235 +236 @@
 }
 
+static void end_of_local_irq()
+{
+        asm volatile ("mov cr.eoi=r0;;");
+}
+
+
 void external_interrupt(uint64_t vector, istate_t *istate)
 {
@@ -255 +262 @@
                         break;
 
+#ifdef CONFIG_SMP
+                case VECTOR_TLB_SHOOTDOWN_IPI:
+                        tlb_shootdown_ipi_recv();
+                        end_of_local_irq();
+                        break;
+#endif
+
+
                 default:
                         panic("\nUnhandled External Interrupt Vector %d\n",

kernel/arch/ia64/src/smp/smp.c

@@ -97 +97 @@
 void ipi_broadcast_arch(int ipi )
 {
-        ipi_broadcast_arch_all(ipi);
+        int id,eid;
+        int myid,myeid;
+        
+        myid=ia64_get_cpu_id();
+        myeid=ia64_get_cpu_eid();
+
+        //printf("Sending ipi %d on %d\n",ipi,CPU->id);
+        for(id=0;id<256;id++)
+                for(eid=0;eid<256;eid++)
+                        if((id!=myid) || (eid!=myeid))
+                                if(cpu_by_id_eid_list[id][eid])
+                                        ipi_send_ipi(id,eid,ipi);
+
 }
 

kernel/generic/src/mm/tlb.c

@@ -135 +135 @@
 void tlb_shootdown_ipi_send(void)
 {
-#ifndef ia64
         ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI);
-#endif  
 }