HelenOS sources

tlb_invalidate_type_t   62 kernel/generic/include/mm/tlb.h 	tlb_invalidate_type_t type;	/**< Message type. */
tlb_invalidate_type_t   71 kernel/generic/include/mm/tlb.h extern ipl_t tlb_shootdown_start(tlb_invalidate_type_t, asid_t, uintptr_t,
tlb_invalidate_type_t   83 kernel/generic/src/mm/tlb.c ipl_t tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid,
tlb_invalidate_type_t  165 kernel/generic/src/mm/tlb.c 		tlb_invalidate_type_t type = CPU->tlb_messages[i].type;