Rev 3588 | Rev 4339 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3588 | Rev 3674 | ||
---|---|---|---|
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 | { |