184 	unsigned int *num_dev)  in ps3_repository_read_bus_num_dev()  argument
194 	*num_dev = v1;  in ps3_repository_read_bus_num_dev()
297 	unsigned int num_dev;  in ps3_repository_find_device()  local
302 	result = ps3_repository_read_bus_num_dev(tmp.bus_index, &num_dev);  in ps3_repository_find_device()
311 		num_dev);  in ps3_repository_find_device()
313 	if (tmp.dev_index >= num_dev) {  in ps3_repository_find_device()
347 	unsigned int num_dev;  in ps3_repository_find_device_by_id()  local
378 	result = ps3_repository_read_bus_num_dev(tmp.bus_index, &num_dev);  in ps3_repository_find_device_by_id()
385 	for (tmp.dev_index = 0; tmp.dev_index < num_dev; tmp.dev_index++) {  in ps3_repository_find_device_by_id()
1286 	unsigned int num_dev)  in dump_device_info()  argument
1292 	for (repo->dev_index = 0; repo->dev_index < num_dev;  in dump_device_info()
1339 		unsigned int num_dev;  in ps3_repository_dump_bus_info()  local
1364 			&num_dev);  in ps3_repository_dump_bus_info()
1374 			(unsigned long)repo.bus_id, num_dev);  in ps3_repository_dump_bus_info()
1376 		dump_device_info(&repo, num_dev);  in ps3_repository_dump_bus_info()