Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/can/usb/f81604.c f81604_probe() -> f81604_disconnect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | intf | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->authorized | 1 |
| PARAM_VALUE | 0 | intf->condition | 1 |
| PARAM_VALUE | 0 | intf->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | intf->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->dev.driver_data | 1-u64max |
| PARAM_VALUE | 0 | intf->needs_altsetting0 | 0 |
| PARAM_VALUE | 0 | intf->needs_binding | 0 |
| DATA_SOURCE | 0 | intf | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/usb/core/driver.c usb_unbind_interface() -> (struct usb_driver)->disconnect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | intf | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->condition | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &dev->mutex |
drivers/net/usb/huawei_cdc_ncm.c huawei_cdc_ncm_unbind() -> (struct usb_driver)->disconnect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/usb/cdc_mbim.c cdc_mbim_unbind() -> (struct usb_driver)->disconnect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/usb/qmi_wwan.c qmi_wwan_unbind() -> (struct usb_driver)->disconnect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CONTAINER | 0 | *(-16-0+24) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |