HelenOS sources

tlb_invalidate_pages   88 kernel/generic/include/mm/tlb.h extern void tlb_invalidate_pages(asid_t, uintptr_t, size_t);
tlb_invalidate_pages 1033 kernel/generic/src/mm/as.c 		tlb_invalidate_pages(as->asid,
tlb_invalidate_pages 1145 kernel/generic/src/mm/as.c 	tlb_invalidate_pages(as->asid, area->base, area->pages);
tlb_invalidate_pages 1444 kernel/generic/src/mm/as.c 	tlb_invalidate_pages(as->asid, area->base, area->pages);
tlb_invalidate_pages  174 kernel/generic/src/mm/km.c 	tlb_invalidate_pages(ASID_KERNEL, vaddr, pages);
tlb_invalidate_pages  179 kernel/generic/src/mm/tlb.c 			tlb_invalidate_pages(asid, page, count);
tlb_invalidate_pages   38 kernel/test/mm/purge1.c extern void tlb_invalidate_pages(asid_t asid, uintptr_t va, size_t cnt);
tlb_invalidate_pages   76 kernel/test/mm/purge1.c 	tlb_invalidate_pages(8, 0x0c000, 14);