Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 session 4096-ptr_max
PARAM_VALUE 0 session->active_session_list_entry.next 4096-ptr_max
PARAM_VALUE 0 session->active_session_list_entry.next->next 4096-ptr_max
PARAM_VALUE 0 session->active_session_list_entry.prev 4096-ptr_max
PARAM_VALUE 0 session->active_session_list_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 session->active_session_list_entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 session->kref.refcount.refs.counter 1
PARAM_VALUE 0 session->pkt.block 0-255
PARAM_VALUE 0 session->pkt.total 0-613566757
PARAM_VALUE 0 session->priv 4096-ptr_max
PARAM_VALUE 0 session->priv->ndev 4096-ptr_max
PARAM_VALUE 0 session->rxtimer._softexpires 0
PARAM_VALUE 0 session->rxtimer.base 4096-ptr_max
PARAM_VALUE 0 session->rxtimer.function 1-u64max
PARAM_VALUE 0 session->rxtimer.is_hard 0
PARAM_VALUE 0 session->rxtimer.is_lazy 0
PARAM_VALUE 0 session->rxtimer.is_queued 0
PARAM_VALUE 0 session->rxtimer.is_rel 0
PARAM_VALUE 0 session->rxtimer.is_soft 0
PARAM_VALUE 0 session->rxtimer.node.expires 0
PARAM_VALUE 0 session->rxtimer.node.node.next 0
PARAM_VALUE 0 session->rxtimer.node.node.node.rb_left 0
PARAM_VALUE 0 session->rxtimer.node.node.prev 0
PARAM_VALUE 0 session->sk 4096-ptr_max
PARAM_VALUE 0 session->sk_session_queue_entry.next 4096-ptr_max
PARAM_VALUE 0 session->sk_session_queue_entry.next->next 4096-ptr_max
PARAM_VALUE 0 session->sk_session_queue_entry.prev 4096-ptr_max
PARAM_VALUE 0 session->sk_session_queue_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 session->sk_session_queue_entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 session->skb_queue.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 session->skb_queue.next 4096-ptr_max
PARAM_VALUE 0 session->skb_queue.prev 4096-ptr_max
PARAM_VALUE 0 session->skb_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 session->state 0
PARAM_VALUE 0 session->transmission 1
PARAM_VALUE 0 session->txtimer._softexpires 0
PARAM_VALUE 0 session->txtimer.base 4096-ptr_max
PARAM_VALUE 0 session->txtimer.function 1-u64max
PARAM_VALUE 0 session->txtimer.is_hard 0
PARAM_VALUE 0 session->txtimer.is_lazy 0
PARAM_VALUE 0 session->txtimer.is_queued 0
PARAM_VALUE 0 session->txtimer.is_rel 0
PARAM_VALUE 0 session->txtimer.is_soft 0
PARAM_VALUE 0 session->txtimer.node.expires 0
PARAM_VALUE 0 session->txtimer.node.node.next 0
PARAM_VALUE 0 session->txtimer.node.node.node.rb_left 0
PARAM_VALUE 0 session->txtimer.node.node.prev 0
BUF_SIZE 0 session 424
CAPPED_DATA 0 session->pkt.block 1
CAPPED_DATA 0 session->pkt.total 1
CAPPED_DATA 0 session->total_message_size 1
DATA_SOURCE 0 session r j1939_tp_send
NOSPEC 0 session->pkt.block
NOSPEC 0 session->pkt.total
NOSPEC 0 session->total_message_size
RX_PATH
TASK_NOT_RUNNING
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]
LOCK2 sock->sk
HALF_LOCKED2 &vq->mutex