Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

net/rds/cong.c rds_cong_tree_walk() -> rds_addr_cmp()

Type Parameter Key Value
PARAM_VALUE 0 addr1 4096-ptr_max
PARAM_VALUE 1 addr2 4096-ptr_max
DATA_SOURCE 0 addr1 $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &rds_cong_lock

net/rds/tcp_connect.c rds_tcp_state_change() -> rds_addr_cmp()

Type Parameter Key Value
PARAM_VALUE 0 addr1 4096-ptr_max
PARAM_VALUE 1 addr2 4096-ptr_max
LOCK2 &sk->sk_callback_lock
LOCK2 bh
TYPE_LOCK (struct sock)->sk_callback_lock

net/rds/tcp_listen.c rds_tcp_accept_one() -> rds_addr_cmp()

Type Parameter Key Value
PARAM_VALUE 0 addr1 4096-ptr_max
PARAM_VALUE 1 addr2 4096-ptr_max
LOCK2 &rtn->rds_tcp_accept_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rds_tcp_net)->rds_tcp_accept_lock

net/rds/tcp_listen.c rds_tcp_conn_slots_available() -> rds_addr_cmp()

Type Parameter Key Value
PARAM_VALUE 0 addr1 4096-ptr_max
PARAM_VALUE 1 addr2 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

net/rds/recv.c rds_start_mprds() -> rds_addr_cmp()

Type Parameter Key Value
PARAM_VALUE 0 addr1 4096-ptr_max
PARAM_VALUE 1 addr2 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

net/rds/threads.c rds_connect_worker() -> rds_addr_cmp()

Type Parameter Key Value
PARAM_VALUE 0 addr1 4096-ptr_max
PARAM_VALUE 1 addr2 4096-ptr_max
HALF_LOCKED2 &pool->lock

net/rds/threads.c rds_queue_reconnect() -> rds_addr_cmp()

Type Parameter Key Value
PARAM_VALUE 0 addr1 4096-ptr_max
PARAM_VALUE 1 addr2 4096-ptr_max
HALF_LOCKED2 &pool->lock