HelenOS sources

KERNEL_PAGE_WIDTH   50 kernel/arch/ia64/include/arch/mm/page.h #define KERNEL_PAGE_WIDTH 	28	/* 256M */
KERNEL_PAGE_WIDTH   59 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h #define KERNEL_PAGE_WIDTH       22	/* 4M */
KERNEL_PAGE_WIDTH   75 kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h #define KERNEL_PAGE_WIDTH       22	/* 4M */