69     VFIODevice *vbasedev;  in vfio_mig_active()
92     VFIODevice *vbasedev;  in vfio_multiple_devices_migration_is_supported()
109 int vfio_block_multiple_devices_migration(VFIODevice *vbasedev, Error **errp)  in vfio_block_multiple_devices_migration()
145 bool vfio_viommu_preset(VFIODevice *vbasedev)  in vfio_viommu_preset()
157 bool vfio_device_state_is_running(VFIODevice *vbasedev)  in vfio_device_state_is_running()
165 bool vfio_device_state_is_precopy(VFIODevice *vbasedev)  in vfio_device_state_is_precopy()
175     VFIODevice *vbasedev;  in vfio_devices_all_dirty_tracking()
199     VFIODevice *vbasedev;  in vfio_devices_all_device_dirty_tracking()
220     VFIODevice *vbasedev;  in vfio_devices_all_running_and_mig_active()
820     VFIODevice *vbasedev;  in vfio_section_is_vfio_pci()
932     VFIODevice *vbasedev;  in vfio_devices_dma_logging_stop()
1030     VFIODevice *vbasedev;  in vfio_devices_dma_logging_start()
1108 static int vfio_device_dma_logging_report(VFIODevice *vbasedev, hwaddr iova,  in vfio_device_dma_logging_report()
1137     VFIODevice *vbasedev;  in vfio_devices_query_dirty_bitmap()
1396     VFIODevice *vbasedev;  in vfio_reset_handler()
1538 bool vfio_attach_device(char *name, VFIODevice *vbasedev,  in vfio_attach_device()
1566 void vfio_detach_device(VFIODevice *vbasedev)  in vfio_detach_device()