Rev 4018 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4018 | Rev 4490 | ||
|---|---|---|---|
| Line 78... | Line 78... | ||
| 78 | * |
78 | * |
| 79 | * @param asid Ignored as the ARM architecture doesn't support it. |
79 | * @param asid Ignored as the ARM architecture doesn't support it. |
| 80 | * @param page Address of the first page whose entry is to be invalidated. |
80 | * @param page Address of the first page whose entry is to be invalidated. |
| 81 | * @param cnt Number of entries to invalidate. |
81 | * @param cnt Number of entries to invalidate. |
| 82 | */ |
82 | */ |
| 83 | void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, count_t cnt) |
83 | void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, size_t cnt) |
| 84 | { |
84 | { |
| 85 | unsigned int i; |
85 | unsigned int i; |
| 86 | 86 | ||
| 87 | for (i = 0; i < cnt; i++) |
87 | for (i = 0; i < cnt; i++) |
| 88 | invalidate_page(page + i * PAGE_SIZE); |
88 | invalidate_page(page + i * PAGE_SIZE); |