static void spice_print_device_situation(SpiceUsbDeviceManager *manager){
SpiceUsbDeviceManagerPrivate *priv = manager->priv;
int usbredir_maxnum = get_spice_usbredir_maxnum();
int idx = priv->devices->len <= usbredir_maxnum ? priv->devices->len : usbredir_maxnum;
printf("\n--------------------------\n");
for (int i = 0; i < idx; i++) {
SpiceUsbDevice *device = g_ptr_array_index(priv->devices, i);
if (spice_usb_device_manager_is_device_connected(manager, device)) {
UsbDeviceInformation* usb_info = spice_usb_backend_device_get_info(device);
printf("[VID:%x | PID:%x]\n", usb_info->vid, usb_info->pid);
}
}
printf("\n--------------------------\n");
}