199 	unsigned int *num_dev)  in ps3_repository_read_bus_num_dev()  argument
209 	*num_dev = v1;  in ps3_repository_read_bus_num_dev()
318 	unsigned int num_dev;  in ps3_repository_find_device()  local
323 	result = ps3_repository_read_bus_num_dev(tmp.bus_index, &num_dev);  in ps3_repository_find_device()
332 		num_dev);  in ps3_repository_find_device()
334 	if (tmp.dev_index >= num_dev) {  in ps3_repository_find_device()
368 	unsigned int num_dev;  in ps3_repository_find_device_by_id()  local
399 	result = ps3_repository_read_bus_num_dev(tmp.bus_index, &num_dev);  in ps3_repository_find_device_by_id()
406 	for (tmp.dev_index = 0; tmp.dev_index < num_dev; tmp.dev_index++) {  in ps3_repository_find_device_by_id()
1307 	unsigned int num_dev)  in dump_device_info()  argument
1313 	for (repo->dev_index = 0; repo->dev_index < num_dev;  in dump_device_info()
1360 		unsigned int num_dev;  in ps3_repository_dump_bus_info()  local
1385 			&num_dev);  in ps3_repository_dump_bus_info()
1395 			(unsigned long)repo.bus_id, num_dev);  in ps3_repository_dump_bus_info()
1397 		dump_device_info(&repo, num_dev);  in ps3_repository_dump_bus_info()