ps3_repository_read_highmem_base  180 arch/powerpc/platforms/ps3/platform.h int ps3_repository_read_highmem_base(unsigned int region_index,
ps3_repository_read_highmem_base  818 arch/powerpc/platforms/ps3/repository.c 	result = ps3_repository_read_highmem_base(region_index, highmem_base);