HelenOS sources

TSB_ENTRY_COUNT    52 kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h #define TSB_ENTRY_COUNT		(ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT)
TSB_ENTRY_COUNT    46 kernel/arch/sparc64/include/arch/mm/sun4v/tsb.h #define TSB_ENTRY_COUNT			4096