vfio_device_get 603 drivers/vfio/vfio.c vfio_device_get(device); vfio_device_get 884 drivers/vfio/vfio.c vfio_device_get(device);