Rev 3674 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3674 | Rev 4339 | ||
|---|---|---|---|
| Line 96... | Line 96... | ||
| 96 | 96 | ||
| 97 | preemption_disable(); |
97 | preemption_disable(); |
| 98 | 98 | ||
| 99 | status = asi_u64_read(ASI_INTR_DISPATCH_STATUS, 0); |
99 | status = asi_u64_read(ASI_INTR_DISPATCH_STATUS, 0); |
| 100 | if (status & INTR_DISPATCH_STATUS_BUSY) |
100 | if (status & INTR_DISPATCH_STATUS_BUSY) |
| 101 | panic("Interrupt Dispatch Status busy bit set\n"); |
101 | panic("Interrupt Dispatch Status busy bit set."); |
| 102 | 102 | ||
| 103 | ASSERT(!(pstate_read() & PSTATE_IE_BIT)); |
103 | ASSERT(!(pstate_read() & PSTATE_IE_BIT)); |
| 104 | 104 | ||
| 105 | do { |
105 | do { |
| 106 | set_intr_w_data(func); |
106 | set_intr_w_data(func); |
| Line 149... | Line 149... | ||
| 149 | switch (ipi) { |
149 | switch (ipi) { |
| 150 | case IPI_TLB_SHOOTDOWN: |
150 | case IPI_TLB_SHOOTDOWN: |
| 151 | func = tlb_shootdown_ipi_recv; |
151 | func = tlb_shootdown_ipi_recv; |
| 152 | break; |
152 | break; |
| 153 | default: |
153 | default: |
| 154 | panic("Unknown IPI (%d).\n", ipi); |
154 | panic("Unknown IPI (%d).", ipi); |
| 155 | break; |
155 | break; |
| 156 | } |
156 | } |
| 157 | 157 | ||
| 158 | /* |
158 | /* |
| 159 | * As long as we don't support hot-plugging |
159 | * As long as we don't support hot-plugging |