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);