Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/serial/io_edgeport.c send_cmd_write_baud_rate() -> write_cmd_usb()

Type Parameter Key Value
PARAM_VALUE 0 edge_port 4096-ptr_max
PARAM_VALUE 0 edge_port->port 4096-ptr_max
PARAM_VALUE 0 edge_port->port->serial 4096-ptr_max
PARAM_VALUE 0 edge_port->port->serial->private 4096-ptr_max
PARAM_VALUE 0 edge_port->shadowMCR 8,11
PARAM_VALUE 0 edge_port->validDataMask 31,63,127,255
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 2 length 8
BUF_SIZE 0 edge_port s32min-(-2),1-s32max
BUF_SIZE 0 edge_port s32min-(-2),1-s32max
BUF_SIZE 1 buffer 256
BUF_SIZE 1 buffer 256
DATA_SOURCE 0 edge_port $0
DATA_SOURCE 1 buffer r _kmalloc_noprof
FUZZY_MAX 0 edge_port->shadowMCR 8
BIT_INFO 0 edge_port->shadowMCR 0x8,0xb
BIT_INFO 0 edge_port->validDataMask 0x1f,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 edge_port unit_byte
HALF_LOCKED2 &edge_serial->es_lock
HALF_LOCKED2 flags

drivers/usb/serial/io_edgeport.c send_cmd_write_uart_register() -> write_cmd_usb()

Type Parameter Key Value
PARAM_VALUE 0 edge_port 4096-ptr_max
PARAM_VALUE 0 edge_port->port 4096-ptr_max
PARAM_VALUE 0 edge_port->port->serial 4096-ptr_max
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 2 length 2
BUF_SIZE 0 edge_port s32min-(-2),1-s32max
BUF_SIZE 0 edge_port s32min-(-2),1-s32max
BUF_SIZE 1 buffer 16
BUF_SIZE 1 buffer 16
DATA_SOURCE 0 edge_port $0
DATA_SOURCE 1 buffer r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING
UNITS 0 edge_port unit_byte
HALF_LOCKED2 _T->lock

drivers/usb/serial/io_edgeport.c send_iosp_ext_cmd() -> write_cmd_usb()

Type Parameter Key Value
PARAM_VALUE 0 edge_port 4096-ptr_max
PARAM_VALUE 0 edge_port->port 4096-ptr_max
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 2 length 3
BUF_SIZE 0 edge_port s32min-(-2),1-s32max
BUF_SIZE 0 edge_port s32min-(-2),1-s32max
BUF_SIZE 1 buffer 10
BUF_SIZE 1 buffer 10
DATA_SOURCE 0 edge_port $0
DATA_SOURCE 1 buffer r _kmalloc_noprof
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 edge_port unit_byte
HALF_LOCKED2 &serial->disc_mutex