Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
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 |