Defined in 74 files as a member:

Defined in 2 files as a function:

Defined in 1 files as a enumerator:

Referenced in 457 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 0 a $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &n->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock

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

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

net/tipc/node.c less_eq() -> mod()

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

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

Type Parameter Key Value
DATA_SOURCE 0 a $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a 0-u16max
HALF_LOCKED2 bh

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

Type Parameter Key Value
DATA_SOURCE 0 a $0
NOSPEC 0 a
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a 0-u16max[c]
HALF_LOCKED2 bh

net/tipc/link.c less_eq() -> mod()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a 0-u16max
HALF_LOCKED2 bh

lib/crypto/tests/mldsa_kunit.c decompose_ref() -> mod()

Type Parameter Key Value
PARAM_VALUE 0 a 0-8380416
PARAM_VALUE 1 m 8380417
CAPPED_DATA 0 a 1
DATA_SOURCE 0 a $0
FUZZY_MAX 0 a 8380416
HARD_MAX 0 a 8380416

lib/crypto/tests/mldsa_kunit.c symmetric_mod() -> mod()

Type Parameter Key Value
PARAM_VALUE 1 m 190464,523776
DATA_SOURCE 0 a $0
DATA_SOURCE 1 m $1

lib/crypto/tests/mldsa_kunit.c use_hint_ref() -> mod()

Type Parameter Key Value
PARAM_VALUE 0 a (-11274)-11276
PARAM_VALUE 1 m 16,44
FUZZY_MAX 1 m 44
HARD_MAX 1 m 44

lib/crypto/tests/mldsa_kunit.c use_hint_ref() -> mod()

Type Parameter Key Value
PARAM_VALUE 0 a (-11276)-11274
PARAM_VALUE 1 m 16,44
FUZZY_MAX 1 m 44
HARD_MAX 1 m 44

net/tipc/monitor.c less_eq() -> mod()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a 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() -> mod()

Type Parameter Key Value
CAPPED_DATA 0 a 1
DATA_SOURCE 0 a $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

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

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

net/tipc/msg.c less_eq() -> mod()

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

net/tipc/name_distr.c less() -> mod()

Type Parameter Key Value
DATA_SOURCE 0 a $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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/name_distr.c less() -> mod()

Type Parameter Key Value
CAPPED_DATA 0 a 1
DATA_SOURCE 0 a $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a 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/name_distr.c less_eq() -> mod()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a 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() -> mod()

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

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

Type Parameter Key Value
DATA_SOURCE 0 a $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a 0-u16max[c]
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/tipc/group.c less_eq() -> mod()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 a 0-u16max
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh