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