ps3_repository_read_bus_num_dev
int ps3_repository_read_bus_num_dev(unsigned int bus_index,
result = ps3_repository_read_bus_num_dev(repo.bus_index,
result = ps3_repository_read_bus_num_dev(tmp.bus_index, &num_dev);
result = ps3_repository_read_bus_num_dev(tmp.bus_index, &num_dev);