Rev 2100 | Rev 3940 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2100 | Rev 2439 | ||
|---|---|---|---|
| Line 46... | Line 46... | ||
| 46 | 46 | ||
| 47 | /** Invalidate all entries in TLB that belong to specified address space. |
47 | /** Invalidate all entries in TLB that belong to specified address space. |
| 48 | * |
48 | * |
| 49 | * @param asid This parameter is ignored as the architecture doesn't support it. |
49 | * @param asid This parameter is ignored as the architecture doesn't support it. |
| 50 | */ |
50 | */ |
| 51 | void tlb_invalidate_asid(asid_t asid) |
51 | void tlb_invalidate_asid(asid_t asid __attribute__((unused))) |
| 52 | { |
52 | { |
| 53 | tlb_invalidate_all(); |
53 | tlb_invalidate_all(); |
| 54 | } |
54 | } |
| 55 | 55 | ||
| 56 | /** Invalidate TLB entries for specified page range belonging to specified address space. |
56 | /** Invalidate TLB entries for specified page range belonging to specified address space. |
| 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, uintptr_t page, count_t cnt) |
62 | void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, count_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); |