HelenOS sources

as_invalidate_translation_cache  123 kernel/genarch/src/mm/asid.c 		as_invalidate_translation_cache(as, 0, (size_t) -1);
as_invalidate_translation_cache 1041 kernel/generic/src/mm/as.c 		as_invalidate_translation_cache(as,
as_invalidate_translation_cache 1151 kernel/generic/src/mm/as.c 	as_invalidate_translation_cache(as, area->base, area->pages);
as_invalidate_translation_cache 1450 kernel/generic/src/mm/as.c 	as_invalidate_translation_cache(as, area->base, area->pages);
as_invalidate_translation_cache   80 kernel/generic/src/mm/km.c 	as_invalidate_translation_cache(AS_KERNEL, 0, -1);
as_invalidate_translation_cache  176 kernel/generic/src/mm/km.c 	as_invalidate_translation_cache(AS_KERNEL, 0, -1);