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 | { |