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 |