Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/hso.c hso_mux_serial_read() -> mux_device_request()

Type Parameter Key Value
PARAM_VALUE 0 serial 4096-ptr_max
PARAM_VALUE 0 serial->num_rx_urbs 1
PARAM_VALUE 0 serial->parent 4096-ptr_max
PARAM_VALUE 0 serial->rx_data 4096-ptr_max
PARAM_VALUE 0 serial->rx_state 1
PARAM_VALUE 0 serial->rx_urb 4096-ptr_max
PARAM_VALUE 0 *serial->rx_urb_filled 0-255
PARAM_VALUE 1 type 1
PARAM_VALUE 2 port 0-255
PARAM_VALUE 4 ctrl_req 4096-ptr_max
BUF_SIZE 0 serial s32min-(-1),1-s32max
BUF_SIZE 0 serial s32min-(-1),1-s32max
BUF_SIZE 5 ctrl_urb_data 1024,4096
DATA_SOURCE 0 serial $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 serial unit_byte
LOCK2 flags
LOCK2 0 &serial->serial_lock
TYPE_LOCK (struct hso_serial)->serial_lock

drivers/net/usb/hso.c hso_mux_serial_write_data() -> mux_device_request()

Type Parameter Key Value
PARAM_VALUE 0 serial 4096-ptr_max
PARAM_VALUE 0 serial->parent 4096-ptr_max
PARAM_VALUE 0 serial->parent->usb 4096-ptr_max
PARAM_VALUE 0 serial->parent->usb->state 7
PARAM_VALUE 0 serial->port.client_ops->write_wakeup 0,4096-ptr_max
PARAM_VALUE 0 serial->tx_buffer_count 0
PARAM_VALUE 0 serial->tx_data 1-u64max
PARAM_VALUE 0 serial->tx_data_count 1-u16max
PARAM_VALUE 0 serial->tx_urb_used 0
PARAM_VALUE 0 serial->write_data 1-u64max
PARAM_VALUE 1 type 0
PARAM_VALUE 2 port 0-255
PARAM_VALUE 4 ctrl_req 4096-ptr_max
PARAM_VALUE 5 ctrl_urb_data 1-u64max
PARAM_VALUE 6 size 1-u16max
BUF_SIZE 0 serial s32min-(-1),1-s32max
BUF_SIZE 0 serial s32min-(-1),1-s32max
BUF_SIZE 0 serial->tx_buffer 1-u16max
BUF_SIZE 0 serial->tx_data 1-u16max
BUF_SIZE 5 ctrl_urb_data 1-u16max
BUF_SIZE 5 ctrl_urb_data 1-u16max
DATA_SOURCE 0 serial $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 serial->tx_data_count 1-u16max[c]
HOST_DATA 6 size 1-u16max[c]
USER_DATA 0 serial->tx_data_count 1-u16max[c][u]
USER_DATA 6 size 1-u16max[c][u]
LOCK2 flags
LOCK2 0 &serial->serial_lock
TYPE_LOCK (struct hso_serial)->serial_lock