vfio_file_has_dev - Linux

Symbol: vfio_file_has_dev

drivers/vfio/group.c

EXPORT_SYMBOL_GPL(vfio_file_has_dev);

drivers/vfio/pci/vfio_pci_core.c

if (vfio_file_has_dev(groups->files[i], vdev))

include/linux/vfio.h

bool vfio_file_has_dev(struct file *file, struct vfio_device *device);