Rev 4153 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4153 | Rev 4581 | ||
---|---|---|---|
Line 57... | Line 57... | ||
57 | * |
57 | * |
58 | * @param asid This parameter is ignored as the architecture doesn't support it. |
58 | * @param asid This parameter is ignored as the architecture doesn't support it. |
59 | * @param page Address of the first page whose entry is to be invalidated. |
59 | * @param page Address of the first page whose entry is to be invalidated. |
60 | * @param cnt Number of entries to invalidate. |
60 | * @param cnt Number of entries to invalidate. |
61 | */ |
61 | */ |
62 | void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, count_t cnt) |
62 | void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, size_t cnt) |
63 | { |
63 | { |
64 | unsigned int i; |
64 | unsigned int i; |
65 | 65 | ||
66 | for (i = 0; i < cnt; i++) |
66 | for (i = 0; i < cnt; i++) |
67 | invlpg(page + i * PAGE_SIZE); |
67 | invlpg(page + i * PAGE_SIZE); |