if (id) { 
if (id) 
static int vio_bus_probe(struct device *dev){	struct vio_dev *viodev = to_vio_dev(dev);	struct vio_driver *viodrv = to_vio_driver(dev->driver);	const struct vio_device_id *id;	int error = -ENODEV;	if (!viodrv->probe)		return error;	id = vio_match_device(viodrv->id_table, viodev);	if (id) {		error = viodrv->probe(viodev, id);	}	return error;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5c0b4b8759f78c31172088a91e10733fc014ccee/vio.c/buggy/arch/ppc64/kernel/vio.c