vfio_dev_viable   717 drivers/vfio/vfio.c 	return vfio_dev_viable(dev, group);
vfio_dev_viable  1408 drivers/vfio/vfio.c 					 group, vfio_dev_viable) == 0);