Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/class/cdc-wdm.c usb_cdc_wdm_register() -> wdm_create()

Type Parameter Key Value
PARAM_VALUE 1 ep 4096-ptr_max
PARAM_VALUE 3 type 0-2
PARAM_VALUE 4 manage_power 858220341991600128,4330269048793186304,5413097089075589120
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 ep $1
DATA_SOURCE 2 bufsize $2
DATA_SOURCE 3 type $3
DATA_SOURCE 4 manage_power $4
HARD_MAX 3 type 2
RX_PATH
TASK_NOT_RUNNING

drivers/usb/class/cdc-wdm.c wdm_probe() -> wdm_create()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->altsetting 4096-ptr_max
PARAM_VALUE 0 intf->altsetting->extra 1-u64max
PARAM_VALUE 0 intf->authorized 1
PARAM_VALUE 0 intf->condition 1
PARAM_VALUE 0 intf->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 intf->cur_altsetting->desc.bNumEndpoints 1
PARAM_VALUE 0 intf->cur_altsetting->endpoint 4096-ptr_max
PARAM_VALUE 0 intf->needs_altsetting0 0
PARAM_VALUE 0 intf->needs_binding 0
PARAM_VALUE 3 type 10
PARAM_VALUE 4 manage_power 3984662734908137472
BUF_SIZE 1 ep 9
DATA_SOURCE 0 intf $0
RX_PATH
TASK_NOT_RUNNING