Symbol: vfio_release_device_set
drivers/vfio/vfio_main.c
192
vfio_release_device_set(device);
drivers/vfio/vfio_main.c
310
vfio_release_device_set(device);