ps3_repository_write_highmem_base  189 arch/powerpc/platforms/ps3/platform.h int ps3_repository_write_highmem_base(unsigned int region_index,
ps3_repository_write_highmem_base 1144 arch/powerpc/platforms/ps3/repository.c 	result = ps3_repository_write_highmem_base(region_index, highmem_base);