void usb_bus_thread() {
assume(drv_usb_registered | drv_device_id_registered);
usb_serial_probe();
if (port_dev_registered == 0) {
} else {
usb_serial_disconnect();
}
}
static int generic_probe(struct usb_interface *interface,
const struct usb_device_id *id)
{
const struct usb_device_id *id_pattern;
id_pattern = usb_match_id(interface, generic_device_ids);
if (id_pattern != NULL)
return usb_serial_probe(interface, id);
return -ENODEV;
}
static int usi_probe(struct usb_interface *interface,
const struct usb_device_id *id)
{
int if_num;
if_num = interface->altsetting->desc.bInterfaceNumber;
if (if_num == 2)
return usb_serial_probe(interface, id);
return -ENODEV;
}
void thread_usb_bus () {
assume (drv_usb_registered /*| drv_device_id_registered*/);
yield();
usb_serial_probe ();
yield();
// TODO
// hack to avoid checking return value of usb_serial_probe
if (nondet) {
assume(port_dev_registered);
usb_serial_disconnect ();
} else {
assume_not(port_dev_registered);
}
}
static int sierra_probe(struct usb_interface *iface,
const struct usb_device_id *id)
{
int result;
struct usb_device *udev;
udev = usb_get_dev(interface_to_usbdev(iface));
/* Check if in installer mode */
if (id->driver_info == DEVICE_INSTALLER) {
dev_dbg(&udev->dev, "%s", "FOUND DEVICE(SW)\n");
result = sierra_set_ms_mode(udev, SWIMS_SET_MODE_Modem);
/*We do not want to bind to the device when in installer mode*/
return -EIO;
}
return usb_serial_probe(iface, id);
}
