Rev 2927 | Rev 3674 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2927 | Rev 3588 | ||
|---|---|---|---|
| Line 132... | Line 132... | ||
| 132 | CPU->tlb_active = 1; |
132 | CPU->tlb_active = 1; |
| 133 | } |
133 | } |
| 134 | 134 | ||
| 135 | void tlb_shootdown_ipi_send(void) |
135 | void tlb_shootdown_ipi_send(void) |
| 136 | { |
136 | { |
| - | 137 | #ifndef ia64 |
|
| 137 | ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI); |
138 | ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI); |
| - | 139 | #endif |
|
| 138 | } |
140 | } |
| 139 | 141 | ||
| 140 | /** Receive TLB shootdown message. */ |
142 | /** Receive TLB shootdown message. */ |
| 141 | void tlb_shootdown_ipi_recv(void) |
143 | void tlb_shootdown_ipi_recv(void) |
| 142 | { |
144 | { |