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