Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/hso.c hso_kick_transmit() -> (struct hso_serial)->write_data()

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
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
DATA_SOURCE 0 serial $0
CONTAINER 0 -1208+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 serial->tx_data_count 1-u16max[c]
USER_DATA 0 serial->tx_data_count 1-u16max[c][u]
LOCK2 flags
LOCK2 0 &serial->serial_lock
TYPE_LOCK (struct hso_serial)->serial_lock