Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/storage/usb.c usb_stor_probe1() -> us_set_lock_class()

Type Parameter Key Value
PARAM_VALUE 0 mutex->magic 4096-ptr_max
PARAM_VALUE 1 intf 4096-ptr_max
PARAM_VALUE 1 intf->authorized 1
PARAM_VALUE 1 intf->condition 1
PARAM_VALUE 1 intf->dev.bus 0,4096-ptr_max
PARAM_VALUE 1 intf->dev.class 0,4096-ptr_max
PARAM_VALUE 1 intf->dev.driver 0,4096-ptr_max
PARAM_VALUE 1 intf->needs_altsetting0 0
PARAM_VALUE 1 intf->needs_binding 0
DATA_SOURCE 1 intf $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL