if (!ids) return 0;  found_id = vio_match_device(ids, vio_dev); if (found_id) return 1;  return 0; 
return (ids != NULL) && (vio_match_device(ids, vio_dev) != NULL); 
static int vio_bus_match(struct device *dev, struct device_driver *drv){	const struct vio_dev *vio_dev = to_vio_dev(dev);	struct vio_driver *vio_drv = to_vio_driver(drv);	const struct vio_device_id *ids = vio_drv->id_table;	const struct vio_device_id *found_id;	if (!ids)		return 0;	found_id = vio_match_device(ids, vio_dev);	if (found_id)		return 1;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5c0b4b8759f78c31172088a91e10733fc014ccee/vio.c/buggy/arch/ppc64/kernel/vio.c