Symbol: vfio_device_from_file
drivers/vfio/vfio_main.c
1455
vfio_device_from_file(file);
drivers/vfio/vfio_main.c
1477
device = vfio_device_from_file(file);
drivers/vfio/vfio_main.c
1516
if (vfio_device_from_file(file))