Defined in 2 files as a member:

Defined in 7 files as a function:

Referenced in 44 files:

Smatch caller information:

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

Type Parameter Key Value
CAPPED_DATA 0 left 1
DATA_SOURCE 0 left r msg_seqno
DATA_SOURCE 1 right r tipc_link_rcv_nxt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 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() -> less()

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

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

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_retransmit_failure() -> less()

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

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

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

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

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

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

Type Parameter Key Value
DATA_SOURCE 0 left $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_bc_ack_rcv() -> less()

Type Parameter Key Value
DATA_SOURCE 0 left $1
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/link.c tipc_link_bc_nack_rcv() -> less()

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

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

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

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

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_tnl_rcv() -> less()

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 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

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

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/link.c tipc_link_validate_msg() -> less()

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 &n->lock
HALF_LOCKED2 rcu_read

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

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/name_distr.c tipc_named_dequeue() -> less()

Type Parameter Key Value
CAPPED_DATA 0 left 1
DATA_SOURCE 0 left r msg_named_seqno
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 left 0-u16max[c]
LOCK2 &namedq->lock
LOCK2 &tn->nametbl_lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct sk_buff_head)->lock
TYPE_LOCK (struct tipc_net)->nametbl_lock

net/tipc/group.c tipc_group_delete_member() -> less()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

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

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

net/tipc/group.c tipc_group_sort_msg() -> less()

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