ps3_repository_write_highmem_size
int ps3_repository_write_highmem_size(unsigned int region_index,
: ps3_repository_write_highmem_size(region_index, highmem_size);