Searched refs:device_num (Results 1 – 1 of 1) sorted by relevance
1044 unsigned int device_num = 0; in vfio_multiple_devices_migration_is_supported() local1049 device_num++; in vfio_multiple_devices_migration_is_supported()1057 return all_support_p2p || device_num <= 1; in vfio_multiple_devices_migration_is_supported()