DBGENTER();  
static const struct vio_device_id * vio_match_device(const struct vio_device_id *ids,	const struct vio_dev *dev){	DBGENTER();	while (ids->type) {		if (is_match(ids, dev))			return ids;		ids++;	}	return NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/19dbd0f6a74f7529d6d49dd50ad6b31adbe0598d/vio.c/clean/arch/ppc64/kernel/vio.c