ps3_repository_write_highmem_info
return r ? ps3_repository_write_highmem_info(0, r->base, r->size) :
ps3_repository_write_highmem_info(0, 0, 0);
int ps3_repository_write_highmem_info(unsigned int region_index,