Rev 2133 | Rev 3626 | 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); |