181 	unsigned int *num_dev)  in ps3_repository_read_bus_num_dev()  argument
191 	*num_dev = v1;  in ps3_repository_read_bus_num_dev()
294 	unsigned int num_dev;  in ps3_repository_find_device()  local
299 	result = ps3_repository_read_bus_num_dev(tmp.bus_index, &num_dev);  in ps3_repository_find_device()
308 		num_dev);  in ps3_repository_find_device()
310 	if (tmp.dev_index >= num_dev) {  in ps3_repository_find_device()
344 	unsigned int num_dev;  in ps3_repository_find_device_by_id()  local
375 	result = ps3_repository_read_bus_num_dev(tmp.bus_index, &num_dev);  in ps3_repository_find_device_by_id()
382 	for (tmp.dev_index = 0; tmp.dev_index < num_dev; tmp.dev_index++) {  in ps3_repository_find_device_by_id()
1283 	unsigned int num_dev)  in dump_device_info()  argument
1289 	for (repo->dev_index = 0; repo->dev_index < num_dev;  in dump_device_info()
1336 		unsigned int num_dev;  in ps3_repository_dump_bus_info()  local
1361 			&num_dev);  in ps3_repository_dump_bus_info()
1371 			(unsigned long)repo.bus_id, num_dev);  in ps3_repository_dump_bus_info()
1373 		dump_device_info(&repo, num_dev);  in ps3_repository_dump_bus_info()