HelenOS sources

nucleus_leave     537 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	nucleus_leave();
nucleus_leave     568 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	nucleus_leave();
nucleus_leave     376 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	nucleus_leave();
nucleus_leave     398 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	nucleus_leave();