Defined in 14 files as a member:

Defined in 1 files as a function:

Referenced in 129 files:

Smatch caller information:

net/tipc/node.c tipc_node_check_state() -> more()

Type Parameter Key Value
DATA_SOURCE 0 left r tipc_link_rcv_nxt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 right 0-u16max[c]
LOCK2 &n->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock

net/tipc/node.c tipc_node_check_state() -> more()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 right 0-u16max[c]
LOCK2 &n->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock

net/tipc/link.c __tipc_build_gap_ack_blks() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
CAPPED_DATA 1 right 1
DATA_SOURCE 0 left r buf_seqno
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &le->lock
HALF_LOCKED2 bh

net/tipc/link.c link_bc_rcv_gap() -> more()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 1-u16max[c]
LOCK2 bh

net/tipc/link.c tipc_in_range() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
DATA_SOURCE 0 left $0
DATA_SOURCE 1 right $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[c]
USER_DATA 1 right 0-u16max
LOCK2 bh
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_advance_transmq() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
DATA_SOURCE 0 left r buf_seqno
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_advance_transmq() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
DATA_SOURCE 0 left r buf_seqno
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 right 0-u16max
LOCK2 bh
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_advance_transmq() -> more()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[c]
USER_DATA 1 right 0-u16max
LOCK2 bh
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_advance_transmq() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
DATA_SOURCE 0 left r buf_seqno
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 right 0-u16max
LOCK2 bh
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_bc_nack_rcv() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[c]
LOCK2 bh
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_bc_sync_rcv() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
DATA_SOURCE 0 left r msg_bc_snd_nxt
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 1-u16max[c]
LOCK2 bh
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_bc_sync_rcv() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
DATA_SOURCE 0 left r msg_bc_snd_nxt
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 1-u16max[c]
LOCK2 bh
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_proto_rcv() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
DATA_SOURCE 0 left r msg_next_sent
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[c]
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_rcv() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
DATA_SOURCE 0 left r msg_seqno
NOSPEC 0 left
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[c]
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_validate_msg() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
DATA_SOURCE 0 left r msg_session
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[c]
LOCK2 bh
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/monitor.c tipc_mon_rcv() -> more()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[u]
USER_DATA 1 right 0-u16max[u]
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/monitor.c tipc_mon_rcv() -> more()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[u]
USER_DATA 1 right 0-u16max
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/monitor.c tipc_mon_rcv() -> more()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[u]
USER_DATA 1 right 0-u16max
LOCK2 &mon->lock
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_monitor)->lock

net/tipc/msg.c __tipc_skb_queue_sorted() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
CAPPED_DATA 1 right 1
DATA_SOURCE 0 left $1
NOSPEC 0 left
NOSPEC 0 left
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[c]
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/msg.c __tipc_skb_queue_sorted() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
CAPPED_DATA 1 right 1
DATA_SOURCE 0 left $1
NOSPEC 0 left
NOSPEC 0 left
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[c]
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/group.c tipc_group_filter_msg() -> more()

Type Parameter Key Value
CAPPED_DATA 0 left 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[c]
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh