193 	unsigned int *num_dev)  in ps3_repository_read_bus_num_dev()  argument
203 	*num_dev = v1;  in ps3_repository_read_bus_num_dev()
306 	unsigned int num_dev;  in ps3_repository_find_device()  local
311 	result = ps3_repository_read_bus_num_dev(tmp.bus_index, &num_dev);  in ps3_repository_find_device()
320 		num_dev);  in ps3_repository_find_device()
322 	if (tmp.dev_index >= num_dev) {  in ps3_repository_find_device()
356 	unsigned int num_dev;  in ps3_repository_find_device_by_id()  local
387 	result = ps3_repository_read_bus_num_dev(tmp.bus_index, &num_dev);  in ps3_repository_find_device_by_id()
394 	for (tmp.dev_index = 0; tmp.dev_index < num_dev; tmp.dev_index++) {  in ps3_repository_find_device_by_id()
1295 	unsigned int num_dev)  in dump_device_info()  argument
1301 	for (repo->dev_index = 0; repo->dev_index < num_dev;  in dump_device_info()
1348 		unsigned int num_dev;  in ps3_repository_dump_bus_info()  local
1373 			&num_dev);  in ps3_repository_dump_bus_info()
1383 			(unsigned long)repo.bus_id, num_dev);  in ps3_repository_dump_bus_info()
1385 		dump_device_info(&repo, num_dev);  in ps3_repository_dump_bus_info()