Rev 1904 | Rev 2015 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1904 | Rev 2009 | ||
---|---|---|---|
Line 36... | Line 36... | ||
36 | #include <cpu.h> |
36 | #include <cpu.h> |
37 | #include <arch/cpu.h> |
37 | #include <arch/cpu.h> |
38 | #include <arch/asm.h> |
38 | #include <arch/asm.h> |
39 | #include <config.h> |
39 | #include <config.h> |
40 | #include <mm/tlb.h> |
40 | #include <mm/tlb.h> |
- | 41 | #include <arch/mm/cache.h> |
|
41 | #include <arch/interrupt.h> |
42 | #include <arch/interrupt.h> |
42 | #include <arch/trap/interrupt.h> |
43 | #include <arch/trap/interrupt.h> |
43 | #include <arch/barrier.h> |
44 | #include <arch/barrier.h> |
44 | #include <preemption.h> |
45 | #include <preemption.h> |
45 | #include <time/delay.h> |
46 | #include <time/delay.h> |
Line 118... | Line 119... | ||
118 | 119 | ||
119 | switch (ipi) { |
120 | switch (ipi) { |
120 | case IPI_TLB_SHOOTDOWN: |
121 | case IPI_TLB_SHOOTDOWN: |
121 | func = tlb_shootdown_ipi_recv; |
122 | func = tlb_shootdown_ipi_recv; |
122 | break; |
123 | break; |
- | 124 | case IPI_DCACHE_SHOOTDOWN: |
|
- | 125 | func = dcache_shootdown_ipi_recv; |
|
- | 126 | break; |
|
123 | default: |
127 | default: |
124 | panic("Unknown IPI (%d).\n", ipi); |
128 | panic("Unknown IPI (%d).\n", ipi); |
125 | break; |
129 | break; |
126 | } |
130 | } |
127 | 131 |