HelenOS sources

tlb_shootdown_start  128 kernel/genarch/src/mm/asid.c 		ipl_t ipl = tlb_shootdown_start(TLB_INVL_ASID, asid, 0, 0);
tlb_shootdown_start  144 kernel/genarch/src/mm/asid.c 		ipl_t ipl = tlb_shootdown_start(TLB_INVL_ASID, asid, 0, 0);
tlb_shootdown_start   71 kernel/generic/include/mm/tlb.h extern ipl_t tlb_shootdown_start(tlb_invalidate_type_t, asid_t, uintptr_t,
tlb_shootdown_start  957 kernel/generic/src/mm/as.c 		ipl_t ipl = tlb_shootdown_start(TLB_INVL_PAGES,
tlb_shootdown_start 1107 kernel/generic/src/mm/as.c 	ipl_t ipl = tlb_shootdown_start(TLB_INVL_PAGES, as->asid, area->base,
tlb_shootdown_start 1407 kernel/generic/src/mm/as.c 	ipl_t ipl = tlb_shootdown_start(TLB_INVL_PAGES, as->asid, area->base,
tlb_shootdown_start   71 kernel/generic/src/mm/km.c 	ipl = tlb_shootdown_start(TLB_INVL_ASID, ASID_KERNEL, 0, 0);
tlb_shootdown_start  169 kernel/generic/src/mm/km.c 	ipl = tlb_shootdown_start(TLB_INVL_PAGES, ASID_KERNEL, vaddr, pages);