HelenOS sources

KM_SPARC64_T1_NON_IDENTITY_SIZE   48 kernel/arch/sparc64/src/mm/sun4v/km.c 	    KM_SPARC64_T1_NON_IDENTITY_SIZE);
KM_SPARC64_T1_NON_IDENTITY_SIZE   54 kernel/arch/sparc64/src/mm/sun4v/km.c 	    KM_SPARC64_T1_NON_IDENTITY_SIZE, addr, 1);