vfio_group_get_device  677 drivers/vfio/vfio.c 	device = vfio_group_get_device(group, dev);
vfio_group_get_device  694 drivers/vfio/vfio.c 	device = vfio_group_get_device(group, dev);
vfio_group_get_device  826 drivers/vfio/vfio.c 	device = vfio_group_get_device(group, dev);
vfio_group_get_device  868 drivers/vfio/vfio.c 	device = vfio_group_get_device(group, dev);
vfio_group_get_device  952 drivers/vfio/vfio.c 		device = vfio_group_get_device(group, dev);