Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/mctp/mctp-usblib.c mctp_usblib_tx_push() -> mctp_usblib_tx_should_send()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->buf_type 1-u32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ctx->len
LOCK2 &tx->lock
LOCK2 flags
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct mctp_usblib_tx)->lock

drivers/net/mctp/mctp-usblib.c mctp_usblib_tx_push() -> mctp_usblib_tx_should_send()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->buf_len 0,512,3968
PARAM_VALUE 0 ctx->buf_type 0-1
BUF_SIZE 0 ctx 128,640,4096
BUF_SIZE 0 ctx 128,640,4096
BUF_SIZE 0 ctx->skbs.next (-1)-s32max
BUF_SIZE 0 ctx->skbs.prev (-1)-s32max
DATA_SOURCE 0 ctx r mctp_usblib_tx_ctx_create
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ctx->len
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read