Rev 1757 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1757 | Rev 1780 | ||
|---|---|---|---|
| Line 76... | Line 76... | ||
| 76 | * @param type Type describing scope of shootdown. |
76 | * @param type Type describing scope of shootdown. |
| 77 | * @param asid Address space, if required by type. |
77 | * @param asid Address space, if required by type. |
| 78 | * @param page Virtual page address, if required by type. |
78 | * @param page Virtual page address, if required by type. |
| 79 | * @param count Number of pages, if required by type. |
79 | * @param count Number of pages, if required by type. |
| 80 | */ |
80 | */ |
| 81 | void tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid, __address page, count_t count) |
81 | void tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid, uintptr_t page, count_t count) |
| 82 | { |
82 | { |
| 83 | int i; |
83 | int i; |
| 84 | 84 | ||
| 85 | CPU->tlb_active = 0; |
85 | CPU->tlb_active = 0; |
| 86 | spinlock_lock(&tlblock); |
86 | spinlock_lock(&tlblock); |
| Line 139... | Line 139... | ||
| 139 | /** Receive TLB shootdown message. */ |
139 | /** Receive TLB shootdown message. */ |
| 140 | void tlb_shootdown_ipi_recv(void) |
140 | void tlb_shootdown_ipi_recv(void) |
| 141 | { |
141 | { |
| 142 | tlb_invalidate_type_t type; |
142 | tlb_invalidate_type_t type; |
| 143 | asid_t asid; |
143 | asid_t asid; |
| 144 | __address page; |
144 | uintptr_t page; |
| 145 | count_t count; |
145 | count_t count; |
| 146 | int i; |
146 | int i; |
| 147 | 147 | ||
| 148 | ASSERT(CPU); |
148 | ASSERT(CPU); |
| 149 | 149 | ||