ps3_repository_write_highmem_base
int ps3_repository_write_highmem_base(unsigned int region_index,
result = ps3_repository_write_highmem_base(region_index, highmem_base);