Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/mctp/mctp-usblib.c mctp_usblib_tx_send() -> (struct mctp_usblib_tx_ops)->send()

Type Parameter Key Value
PARAM_VALUE 0 tx_ctx 4096-ptr_max
PARAM_VALUE 0 tx_ctx->tx 4096-ptr_max
BUF_SIZE 0 tx_ctx (-1),128,640,4096
BUF_SIZE 0 tx_ctx (-1),128,640,4096
BUF_SIZE 1 data (-1),1-s32max
BUF_SIZE 1 data (-1),1-s32max
CAPPED_DATA 0 &tx_ctx->skbs 1
DATA_SOURCE 0 tx_ctx $0
CONTAINER 0 -0-0-0+0 $(-1)
CONTAINER 2 *(-0-0-0+108) $(-1)
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 tx_ctx->len
NO_OVERFLOW_SIMPLE 2 len
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read