Rev 2134 | Rev 2272 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2134 | Rev 2141 | ||
|---|---|---|---|
| Line 37... | Line 37... | ||
| 37 | #include <arch.h> |
37 | #include <arch.h> |
| 38 | #include <arch/cpu.h> |
38 | #include <arch/cpu.h> |
| 39 | #include <arch/asm.h> |
39 | #include <arch/asm.h> |
| 40 | #include <config.h> |
40 | #include <config.h> |
| 41 | #include <mm/tlb.h> |
41 | #include <mm/tlb.h> |
| 42 | #include <arch/mm/cache.h> |
- | |
| 43 | #include <arch/interrupt.h> |
42 | #include <arch/interrupt.h> |
| 44 | #include <arch/trap/interrupt.h> |
43 | #include <arch/trap/interrupt.h> |
| 45 | #include <arch/barrier.h> |
44 | #include <arch/barrier.h> |
| 46 | #include <preemption.h> |
45 | #include <preemption.h> |
| 47 | #include <time/delay.h> |
46 | #include <time/delay.h> |
| Line 123... | Line 122... | ||
| 123 | 122 | ||
| 124 | switch (ipi) { |
123 | switch (ipi) { |
| 125 | case IPI_TLB_SHOOTDOWN: |
124 | case IPI_TLB_SHOOTDOWN: |
| 126 | func = tlb_shootdown_ipi_recv; |
125 | func = tlb_shootdown_ipi_recv; |
| 127 | break; |
126 | break; |
| 128 | #if (defined(CONFIG_SMP) && (defined(CONFIG_VIRT_IDX_DCACHE))) |
- | |
| 129 | case IPI_DCACHE_SHOOTDOWN: |
- | |
| 130 | func = dcache_shootdown_ipi_recv; |
- | |
| 131 | break; |
- | |
| 132 | #endif |
- | |
| 133 | default: |
127 | default: |
| 134 | panic("Unknown IPI (%d).\n", ipi); |
128 | panic("Unknown IPI (%d).\n", ipi); |
| 135 | break; |
129 | break; |
| 136 | } |
130 | } |
| 137 | 131 | ||