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