Defined in 1 files as a function:
Referenced in 5 files:
- net/tipc/core.h
- net/tipc/group.c, line 803
- net/tipc/link.c
- net/tipc/msg.h, line 1303
- net/tipc/trace.h, line 316
Smatch caller information:
net/tipc/node.c less() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | left | 1 |
| DATA_SOURCE | 0 | left | $0 |
| DATA_SOURCE | 1 | right | $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/node.c more() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | left | $0 |
| DATA_SOURCE | 1 | right | $1 |
| 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 __do_trace_tipc_link_retrans() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | left | $1 |
| 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[c] |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/link.c __tipc_skb_dequeue() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | left | 1 |
| DATA_SOURCE | 1 | right | $1 |
| 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 less() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | left | $0 |
| DATA_SOURCE | 1 | right | $1 |
| NOSPEC | 0 | left | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | left | 0-u16max[c] |
| USER_DATA | 1 | right | 0-u16max |
| HALF_LOCKED2 | bh |
net/tipc/link.c more() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | left | $0 |
| DATA_SOURCE | 1 | right | $1 |
| NOSPEC | 0 | left | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | left | 0-u16max[c] |
| USER_DATA | 1 | right | 0-u16max |
| HALF_LOCKED2 | bh |
net/tipc/link.c tipc_link_advance_transmq() -> less_eq()
| 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() -> less_eq()
| 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 trace_tipc_link_retrans() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | left | $1 |
| 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[c] |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/monitor.c more() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | left | $0 |
| DATA_SOURCE | 1 | right | $1 |
| 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 | &mon->lock | ||
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/msg.c less() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | left | 1 |
| CAPPED_DATA | 1 | right | 1 |
| DATA_SOURCE | 0 | left | $0 |
| DATA_SOURCE | 1 | right | $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 more() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | left | 1 |
| CAPPED_DATA | 1 | right | 1 |
| DATA_SOURCE | 0 | left | $0 |
| DATA_SOURCE | 1 | right | $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 less() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | left | 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] |
| 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 less() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | left | $0 |
| DATA_SOURCE | 1 | right | $1 |
| 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 |
net/tipc/group.c more() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | left | 1 |
| DATA_SOURCE | 0 | left | $0 |
| DATA_SOURCE | 1 | right | $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_proto_rcv() -> less_eq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 0 | left | 1 |
| DATA_SOURCE | 0 | left | r msg_grp_bc_acked |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | left | 0-u16max[c] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | sk |