ps3_repository_read_region_total
int ps3_repository_read_region_total(u64 *region_total);
: ps3_repository_read_region_total(region_total);