j1939_sk_errqueue identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

net/can/j1939/j1939-priv.h, line 190 (as a prototype)

Defined in 1 files as a function:

net/can/j1939/socket.c, line 1102 (as a function)

Referenced in 1 files:

net/can/j1939/transport.c

Smatch caller information:

net/can/j1939/transport.c j1939_session_cancel() -> j1939_sk_errqueue()

Type	Parameter	Key	Value
PARAM_VALUE	0	session	4096-ptr_max
PARAM_VALUE	0	session->priv	4096-ptr_max
PARAM_VALUE	0	session->priv->active_session_list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	session->sk	0
PARAM_VALUE	0	session->sk->sk_dst_cache->dev_rcu->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE	0	session->state	0,2-u32max
PARAM_VALUE	0	*session->priv->ndev->name	0-255
PARAM_VALUE	1	type	5
CAPPED_DATA	0	session	1
CAPPED_DATA	0	session->skcb.addr.type	1
DATA_SOURCE	0	session	$0
FUZZY_MAX	0	session->state	2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		rcu_read

net/can/j1939/transport.c j1939_session_destroy() -> j1939_sk_errqueue()

Type	Parameter	Key	Value
PARAM_VALUE	0	session	4096-ptr_max
PARAM_VALUE	0	session->err	s32min-(-1),1-s32max
PARAM_VALUE	0	session->transmission	1
PARAM_VALUE	1	type	2
DATA_SOURCE	0	session	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&jsk->sk_session_queue_lock
HALF_LOCKED2		&priv->active_session_list_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read
HALF_LOCKED2		sock->sk

net/can/j1939/transport.c j1939_session_destroy() -> j1939_sk_errqueue()

Type	Parameter	Key	Value
PARAM_VALUE	0	session	4096-ptr_max
PARAM_VALUE	0	session->err	0
PARAM_VALUE	0	session->transmission	1
PARAM_VALUE	1	type	0
DATA_SOURCE	0	session	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&jsk->sk_session_queue_lock
HALF_LOCKED2		&priv->active_session_list_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read
HALF_LOCKED2		sock->sk

net/can/j1939/transport.c j1939_session_destroy() -> j1939_sk_errqueue()

Type	Parameter	Key	Value
PARAM_VALUE	0	session	4096-ptr_max
PARAM_VALUE	0	session->err	s32min-(-1),1-s32max
PARAM_VALUE	0	session->transmission	0
PARAM_VALUE	1	type	5
DATA_SOURCE	0	session	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&jsk->sk_session_queue_lock
HALF_LOCKED2		&priv->active_session_list_lock
HALF_LOCKED2		bh
HALF_LOCKED2		rcu_read
HALF_LOCKED2		sock->sk

net/can/j1939/transport.c j1939_simple_txnext() -> j1939_sk_errqueue()

Type	Parameter	Key	Value
PARAM_VALUE	0	session	4096-ptr_max
PARAM_VALUE	0	session->priv->lock.dep_map->name	0-255
PARAM_VALUE	0	session->rxtimer.base->active.rb_root.rb_leftmost->node.__rb_parent_color	1
PARAM_VALUE	0	session->rxtimer.is_rel	0
PARAM_VALUE	0	session->rxtimer.node.node.node.__rb_parent_color	1
PARAM_VALUE	0	session->rxtimer.node.node.node.rb_left	4096-ptr_max
PARAM_VALUE	0	session->rxtimer.node.node.node.rb_right	4096-ptr_max
PARAM_VALUE	0	session->skcb.addr.type	2
PARAM_VALUE	1	type	1
DATA_SOURCE	0	session	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		irq

net/can/j1939/transport.c j1939_tp_rxtimer() -> j1939_sk_errqueue()

Type	Parameter	Key	Value
PARAM_VALUE	0	session	4096-ptr_max
PARAM_VALUE	0	session->priv	4096-ptr_max
PARAM_VALUE	0	session->priv->active_session_list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	session->sk	0
PARAM_VALUE	0	session->sk->sk_dst_cache->dev_rcu->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE	0	session->skcb.addr.type	0-1,3-255
PARAM_VALUE	0	session->state	0,2-u32max
PARAM_VALUE	1	type	5
FUZZY_MAX	0	session->state	3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		irq

net/can/j1939/transport.c j1939_xtp_rx_abort_one() -> j1939_sk_errqueue()

Type	Parameter	Key	Value
PARAM_VALUE	0	session	4096-ptr_max
PARAM_VALUE	0	session->err	0,71,74,84,90,107,113-114,131
PARAM_VALUE	0	session->rxtimer.is_queued	0
PARAM_VALUE	0	session->rxtimer.node.node.next	0
PARAM_VALUE	0	session->rxtimer.node.node.prev	0
PARAM_VALUE	0	session->sk	0
PARAM_VALUE	0	session->skcb.addr.pgn	0-16777215
PARAM_VALUE	0	session->txtimer.is_queued	0
PARAM_VALUE	0	session->txtimer.node.node.next	0
PARAM_VALUE	0	session->txtimer.node.node.prev	0
PARAM_VALUE	1	type	5
CAPPED_DATA	0	session->rxtimer.base	1
CAPPED_DATA	0	session->skcb.addr.dst_name	1
CAPPED_DATA	0	session->skcb.addr.pgn	1
CAPPED_DATA	0	session->skcb.addr.src_name	1
CAPPED_DATA	0	session->skcb.addr.type	1
CAPPED_DATA	0	session->transmission	1
CAPPED_DATA	0	session->txtimer.base	1
DATA_SOURCE	0	session	r j1939_session_get_by_addr
PARAM_COMPARE	0	&session->rxtimer	!= $0->rxtimer.base->running
PARAM_COMPARE	0	&session->txtimer	!= $0->txtimer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		rcu_read

net/can/j1939/transport.c j1939_xtp_rx_cts_one() -> j1939_sk_errqueue()

Type	Parameter	Key	Value
PARAM_VALUE	0	session	4096-ptr_max
PARAM_VALUE	0	session->pkt.last	0-16777469
PARAM_VALUE	0	session->pkt.tx	1-16777214
PARAM_VALUE	0	session->pkt.tx_acked	1-16777214
PARAM_VALUE	0	session->rxtimer.base->active.rb_root.rb_leftmost->node.__rb_parent_color	1
PARAM_VALUE	0	session->rxtimer.is_rel	0
PARAM_VALUE	0	session->rxtimer.node.node.node.__rb_parent_color	1
PARAM_VALUE	0	session->rxtimer.node.node.node.rb_left	4096-ptr_max
PARAM_VALUE	0	session->rxtimer.node.node.node.rb_right	4096-ptr_max
PARAM_VALUE	0	session->skcb.addr.pgn	0-16777215
PARAM_VALUE	0	session->transmission	1
PARAM_VALUE	0	*session->priv->ndev->name	0-255
PARAM_VALUE	1	type	1
CAPPED_DATA	0	session->pkt.last	1
CAPPED_DATA	0	session->skcb.addr.dst_name	1
CAPPED_DATA	0	session->skcb.addr.pgn	1
CAPPED_DATA	0	session->skcb.addr.src_name	1
CAPPED_DATA	0	session->skcb.addr.type	1
DATA_SOURCE	0	session	$0
PARAM_COMPARE	0	session->pkt.last	<= $0->pkt.total
NOSPEC	0	session->pkt.last
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	session->last_cmd	0-255
USER_DATA	0	session->pkt.last	0-16777469[c]
USER_DATA	0	session->pkt.tx	1-16777214
USER_DATA	0	session->pkt.tx_acked	1-16777214
LOCK2		rcu_read

net/can/j1939/transport.c j1939_xtp_rx_dpo_one() -> j1939_sk_errqueue()

Type	Parameter	Key	Value
PARAM_VALUE	0	session	4096-ptr_max
PARAM_VALUE	0	session->pkt.dpo	0-16777215
PARAM_VALUE	0	session->rxtimer.base->active.rb_root.rb_leftmost->node.__rb_parent_color	1
PARAM_VALUE	0	session->rxtimer.is_rel	0
PARAM_VALUE	0	session->rxtimer.node.node.node.__rb_parent_color	1
PARAM_VALUE	0	session->rxtimer.node.node.node.rb_left	4096-ptr_max
PARAM_VALUE	0	session->rxtimer.node.node.node.rb_right	4096-ptr_max
PARAM_VALUE	0	session->skcb.addr.pgn	0-16777215
PARAM_VALUE	0	session->transmission	0
PARAM_VALUE	0	*session->priv->ndev->name	0-255
PARAM_VALUE	1	type	4
CAPPED_DATA	0	session->skcb.addr.dst_name	1
CAPPED_DATA	0	session->skcb.addr.pgn	1
CAPPED_DATA	0	session->skcb.addr.src_name	1
CAPPED_DATA	0	session->skcb.addr.type	1
DATA_SOURCE	0	session	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	session->last_cmd	0-255
LOCK2		rcu_read

net/can/j1939/transport.c j1939_xtp_rx_rts_session_new() -> j1939_sk_errqueue()

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.rx	0
PARAM_VALUE	0	session->pkt.total	0-16777215
PARAM_VALUE	0	session->pkt.tx	0
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_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->total_message_size	9-117440505
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
PARAM_VALUE	1	type	3
BUF_SIZE	0	session	424
BUF_SIZE	0	session->priv	560
CAPPED_DATA	0	session->pkt.block	1
CAPPED_DATA	0	session->total_message_size	1
DATA_SOURCE	0	session	r j1939_session_fresh_new
FUZZY_MAX	0	session->pkt.block	255
FUZZY_MAX	0	session->pkt.total	16777215
FUZZY_MAX	0	session->total_message_size	1786
NOSPEC	0	session->total_message_size
HARD_MAX	0	session->total_message_size	117440505
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	session->pkt.block	0-255[c]
USER_DATA	0	session->pkt.total	0-16777215
USER_DATA	0	session->total_message_size	9-117440505[c]
LOCK2		rcu_read