Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/can/j1939/socket.c j1939_sk_send_loop() -> j1939_session_skb_queue()

Type Parameter Key Value
PARAM_VALUE 0 session 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->cb->priority 0-7
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->dev 4096-ptr_max
PARAM_VALUE 1 skb->extensions 4096-ptr_max
PARAM_VALUE 1 skb->extensions->refcnt.refs.counter 1
PARAM_VALUE 1 skb->slow_gro 1
BUF_SIZE 0 session (-1),424
BUF_SIZE 0 session (-1),424
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
CAPPED_DATA 0 session->total_message_size 1
DATA_SOURCE 1 skb r j1939_sk_alloc_skb
NOSPEC 0 session->pkt.block
NOSPEC 0 session->pkt.total
NOSPEC 0 session->total_message_size
NOSPEC 0 session->total_queued_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 session->pkt.block 0-255[c]
USER_DATA 0 session->pkt.last 0-306783379[c]
USER_DATA 0 session->pkt.total 0-306783379[c]
USER_DATA 0 session->total_message_size 0-s32max[c]
USER_DATA 0 session->total_queued_size 0-u32max[c][u]
LOCK2 sock->sk
HALF_LOCKED2 &vq->mutex