Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

sound/usb/line6/driver.c line6_probe() -> line6_disconnect()

Type Parameter Key Value
PARAM_VALUE 0 interface 4096-ptr_max
PARAM_VALUE 0 interface->authorized 1
PARAM_VALUE 0 interface->condition 1
PARAM_VALUE 0 interface->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 interface->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 interface->dev.class 0,4096-ptr_max
PARAM_VALUE 0 interface->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 interface->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 interface->needs_altsetting0 0
PARAM_VALUE 0 interface->needs_binding 0
DATA_SOURCE 0 interface $0
STR_LEN 0 interface 9,11-12,14
STR_LEN 0 interface 9,11-12,14
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 interface 4096-ptr_max
PARAM_VALUE 0 interface->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