Rev 4137 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4137 | Rev 4490 | ||
|---|---|---|---|
| Line 547... | Line 547... | ||
| 547 | } |
547 | } |
| 548 | tlb_invalidate_all(); |
548 | tlb_invalidate_all(); |
| 549 | } |
549 | } |
| 550 | 550 | ||
| 551 | 551 | ||
| 552 | void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt) |
552 | void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt) |
| 553 | { |
553 | { |
| 554 | // TODO |
554 | // TODO |
| 555 | tlb_invalidate_all(); |
555 | tlb_invalidate_all(); |
| 556 | } |
556 | } |
| 557 | 557 | ||