Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/hso.c hso_create_bulk_serial_device() -> hso_create_device()

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->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 intf->cur_altsetting->desc.bInterfaceClass 255
PARAM_VALUE 0 intf->needs_altsetting0 0
PARAM_VALUE 0 intf->needs_binding 0
PARAM_VALUE 0 intf->needs_remote_wakeup 1
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 port_spec $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/hso.c hso_create_mux_serial_device() -> hso_create_device()

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->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 intf->cur_altsetting->desc.bInterfaceClass 255
PARAM_VALUE 0 intf->cur_altsetting->desc.bNumEndpoints 1-255
PARAM_VALUE 0 intf->needs_altsetting0 0
PARAM_VALUE 0 intf->needs_binding 0
PARAM_VALUE 0 intf->needs_remote_wakeup 1
PARAM_VALUE 1 port_spec 256-261
CAPPED_DATA 0 intf->cur_altsetting->desc.bNumEndpoints 1
DATA_SOURCE 0 intf $0
BIT_INFO 1 port_spec 0x100,0x107
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/hso.c hso_create_net_device() -> hso_create_device()

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->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 intf->cur_altsetting->desc.bInterfaceClass 255
PARAM_VALUE 0 intf->needs_altsetting0 0
PARAM_VALUE 0 intf->needs_binding 0
PARAM_VALUE 0 intf->needs_remote_wakeup 1
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 port_spec $1
RX_PATH
TASK_NOT_RUNNING