Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 23 files:

Smatch caller information:

drivers/media/usb/dvb-usb/cxusb.c cxusb_disconnect() -> dvb_usb_device_exit()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
DATA_SOURCE 0 intf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/cxusb.c cxusb_probe() -> dvb_usb_device_exit()

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.driver_data 0,4096-ptr_max
PARAM_VALUE 0 intf->needs_altsetting0 0
PARAM_VALUE 0 intf->needs_binding 0
CAPPED_DATA 0 intf->num_altsetting 1
DATA_SOURCE 0 intf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/vp702x.c vp702x_usb_disconnect() -> dvb_usb_device_exit()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
DATA_SOURCE 0 intf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/vp702x.c vp702x_usb_probe() -> dvb_usb_device_exit()

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.driver_data 0,4096-ptr_max
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/media/usb/dvb-usb/dib0700_core.c dib0700_disconnect() -> dvb_usb_device_exit()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
DATA_SOURCE 0 intf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/pctv452e.c pctv452e_usb_disconnect() -> dvb_usb_device_exit()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
DATA_SOURCE 0 intf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/ttusb2.c ttusb2_usb_disconnect() -> dvb_usb_device_exit()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
DATA_SOURCE 0 intf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dw2102.c dw2102_disconnect() -> dvb_usb_device_exit()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
DATA_SOURCE 0 intf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/az6027.c az6027_usb_disconnect() -> dvb_usb_device_exit()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
DATA_SOURCE 0 intf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/technisat-usb2.c technisat_usb2_disconnect() -> dvb_usb_device_exit()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
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