HelenOS sources

tsb_invalidate     85 kernel/arch/sparc64/include/arch/mm/sun4u/as.h 	tsb_invalidate((as), (page), (cnt))
tsb_invalidate    169 kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h extern void tsb_invalidate(struct as *as, uintptr_t page, size_t pages);
tsb_invalidate     91 kernel/arch/sparc64/include/arch/mm/sun4v/as.h 	tsb_invalidate((as), (page), (cnt))
tsb_invalidate     73 kernel/arch/sparc64/include/arch/mm/sun4v/tsb.h extern void tsb_invalidate(struct as *as, uintptr_t page, size_t pages);
tsb_invalidate     94 kernel/arch/sparc64/src/mm/sun4u/as.c 	tsb_invalidate(as, 0, (size_t) -1);
tsb_invalidate    103 kernel/arch/sparc64/src/mm/sun4v/as.c 	tsb_invalidate(as, 0, (size_t) -1);