Rev 3593 | Rev 3770 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3593 | Rev 3665 | ||
|---|---|---|---|
| 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 |
- | |
| 138 | ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI); |
137 | ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI); |
| 139 | #endif |
- | |
| 140 | } |
138 | } |
| 141 | 139 | ||
| 142 | /** Receive TLB shootdown message. */ |
140 | /** Receive TLB shootdown message. */ |
| 143 | void tlb_shootdown_ipi_recv(void) |
141 | void tlb_shootdown_ipi_recv(void) |
| 144 | { |
142 | { |