tsb_invalidate 54 kernel/arch/sparc64/src/mm/sun4u/tsb.c void tsb_invalidate(as_t *as, uintptr_t page, size_t pages) tsb_invalidate 56 kernel/arch/sparc64/src/mm/sun4v/tsb.c void tsb_invalidate(as_t *as, uintptr_t page, size_t pages)HelenOS homepage, sources at GitHub