 DBGENTER(); 
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;	DBGENTER();	if (!ids)		return 0;	found_id = vio_match_device(ids, vio_dev);	if (found_id)		return 1;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/19dbd0f6a74f7529d6d49dd50ad6b31adbe0598d/vio.c/buggy/arch/ppc64/kernel/vio.c