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