| /trunk/kernel/arch/ia64/include/interrupt.h |
|---|
| 50,6 → 50,8 |
| #define IVT_FIRST 0 |
| /** External Interrupt vectors. */ |
| #define VECTOR_TLB_SHOOTDOWN_IPI 0xf0 |
| #define INTERRUPT_TIMER 255 |
| #define IRQ_KBD 241 |
| #define IRQ_MOUSE 252 |
| /trunk/kernel/arch/ia64/include/cpu.h |
|---|
| 87,6 → 87,8 |
| static inline void ipi_send_ipi(int id,int eid,int intno) |
| { |
| (bootinfo->sapic)[2*(id*256+eid)]=intno; |
| srlz_d(); |
| } |
| /trunk/kernel/arch/ia64/src/smp/smp.c |
|---|
| 96,7 → 96,19 |
| 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); |
| } |
| /trunk/kernel/arch/ia64/src/interrupt.c |
|---|
| 53,6 → 53,7 |
| #include <ipc/irq.h> |
| #include <ipc/ipc.h> |
| #include <synch/spinlock.h> |
| #include <mm/tlb.h> |
| #define VECTORS_64_BUNDLE 20 |
| #define VECTORS_16_BUNDLE 48 |
| 234,6 → 235,12 |
| vector_to_string(vector)); |
| } |
| static void end_of_local_irq() |
| { |
| asm volatile ("mov cr.eoi=r0;;"); |
| } |
| void external_interrupt(uint64_t vector, istate_t *istate) |
| { |
| irq_t *irq; |
| 254,6 → 261,14 |
| #endif |
| 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", |
| ivr.vector); |