TLB_INVL_ASID 128 kernel/genarch/src/mm/asid.c ipl_t ipl = tlb_shootdown_start(TLB_INVL_ASID, asid, 0, 0); TLB_INVL_ASID 144 kernel/genarch/src/mm/asid.c ipl_t ipl = tlb_shootdown_start(TLB_INVL_ASID, asid, 0, 0); TLB_INVL_ASID 71 kernel/generic/src/mm/km.c ipl = tlb_shootdown_start(TLB_INVL_ASID, ASID_KERNEL, 0, 0); TLB_INVL_ASID 174 kernel/generic/src/mm/tlb.c case TLB_INVL_ASID:HelenOS homepage, sources at GitHub