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