HelenOS sources

tlb_invalidate_pages   47 kernel/arch/abs32le/src/mm/tlb.c void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, size_t cnt)
tlb_invalidate_pages   62 kernel/arch/amd64/src/mm/tlb.c void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, size_t cnt)
tlb_invalidate_pages  119 kernel/arch/arm32/src/mm/tlb.c void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, size_t cnt)
tlb_invalidate_pages   82 kernel/arch/arm64/src/mm/tlb.c void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt)
tlb_invalidate_pages   62 kernel/arch/ia32/src/mm/tlb.c void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, size_t cnt)
tlb_invalidate_pages  104 kernel/arch/ia64/src/mm/tlb.c void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt)
tlb_invalidate_pages  393 kernel/arch/mips32/src/mm/tlb.c void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt)
tlb_invalidate_pages  106 kernel/arch/ppc32/src/mm/tlb.c void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt)
tlb_invalidate_pages   47 kernel/arch/riscv64/src/mm/tlb.c void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, size_t cnt)
tlb_invalidate_pages  547 kernel/arch/sparc64/src/mm/sun4u/tlb.c void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt)
tlb_invalidate_pages  386 kernel/arch/sparc64/src/mm/sun4v/tlb.c void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt)