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