Rev 2133 | Rev 3578 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2133 | Rev 2745 | ||
|---|---|---|---|
| Line 79... | Line 79... | ||
| 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, |
81 | void tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid, |
| 82 | uintptr_t page, count_t count) |
82 | uintptr_t page, count_t count) |
| 83 | { |
83 | { |
| 84 | int i; |
84 | unsigned int i; |
| 85 | 85 | ||
| 86 | CPU->tlb_active = 0; |
86 | CPU->tlb_active = 0; |
| 87 | spinlock_lock(&tlblock); |
87 | spinlock_lock(&tlblock); |
| 88 | 88 | ||
| 89 | for (i = 0; i < config.cpu_count; i++) { |
89 | for (i = 0; i < config.cpu_count; i++) { |
| Line 142... | Line 142... | ||
| 142 | { |
142 | { |
| 143 | tlb_invalidate_type_t type; |
143 | tlb_invalidate_type_t type; |
| 144 | asid_t asid; |
144 | asid_t asid; |
| 145 | uintptr_t page; |
145 | uintptr_t page; |
| 146 | count_t count; |
146 | count_t count; |
| 147 | int i; |
147 | unsigned int i; |
| 148 | 148 | ||
| 149 | ASSERT(CPU); |
149 | ASSERT(CPU); |
| 150 | 150 | ||
| 151 | CPU->tlb_active = 0; |
151 | CPU->tlb_active = 0; |
| 152 | spinlock_lock(&tlblock); |
152 | spinlock_lock(&tlblock); |