ps3_repository_read_highmem_info  220 arch/powerpc/platforms/ps3/mm.c 	result = ps3_repository_read_highmem_info(0, &r->base, &r->size);
ps3_repository_read_highmem_info  184 arch/powerpc/platforms/ps3/platform.h int ps3_repository_read_highmem_info(unsigned int region_index,