HelenOS sources

TLB_INVL_PAGES    957 kernel/generic/src/mm/as.c 		ipl_t ipl = tlb_shootdown_start(TLB_INVL_PAGES,
TLB_INVL_PAGES   1107 kernel/generic/src/mm/as.c 	ipl_t ipl = tlb_shootdown_start(TLB_INVL_PAGES, as->asid, area->base,
TLB_INVL_PAGES   1407 kernel/generic/src/mm/as.c 	ipl_t ipl = tlb_shootdown_start(TLB_INVL_PAGES, as->asid, area->base,
TLB_INVL_PAGES    169 kernel/generic/src/mm/km.c 	ipl = tlb_shootdown_start(TLB_INVL_PAGES, ASID_KERNEL, vaddr, pages);
TLB_INVL_PAGES    177 kernel/generic/src/mm/tlb.c 		case TLB_INVL_PAGES: