Rev 4137 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4137 | Rev 4490 | ||
|---|---|---|---|
| Line 558... | Line 558... | ||
| 558 | * |
558 | * |
| 559 | * @param asid Address space identifier. |
559 | * @param asid Address space identifier. |
| 560 | * @param page First page whose TLB entry is to be invalidated. |
560 | * @param page First page whose TLB entry is to be invalidated. |
| 561 | * @param cnt Number of entries to invalidate. |
561 | * @param cnt Number of entries to invalidate. |
| 562 | */ |
562 | */ |
| 563 | void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt) |
563 | void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt) |
| 564 | { |
564 | { |
| 565 | unsigned int i; |
565 | unsigned int i; |
| 566 | ipl_t ipl; |
566 | ipl_t ipl; |
| 567 | entry_lo_t lo0, lo1; |
567 | entry_lo_t lo0, lo1; |
| 568 | entry_hi_t hi, hi_save; |
568 | entry_hi_t hi, hi_save; |