Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rds/cong.c rds_destroy_pending() -> (struct rds_transport)->t_unloading()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->c_trans 4096-ptr_max
PARAM_VALUE 0 conn->c_trans->t_unloading 3859992470029094912,6762006771438727168,7243661440355979264
CAPPED_DATA 0 conn->c_net.net 1
DATA_SOURCE 0 conn $0
CONTAINER 0 -232-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rds_cong_lock
LOCK2 rcu_read
HALF_LOCKED2 &rs->rs_recv_lock
HALF_LOCKED2 flags

net/rds/tcp_connect.c rds_destroy_pending() -> (struct rds_transport)->t_unloading()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->c_trans 4096-ptr_max
PARAM_VALUE 0 conn->c_trans->t_unloading 3859992470029094912,6762006771438727168,7243661440355979264
CAPPED_DATA 0 conn->c_net.net 1
DATA_SOURCE 0 conn $0
CONTAINER 0 -232-80+0 $(-1)
HALF_LOCKED2 &pool->lock

net/rds/tcp_send.c rds_destroy_pending() -> (struct rds_transport)->t_unloading()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->c_trans 4096-ptr_max
PARAM_VALUE 0 conn->c_trans->t_unloading 3859992470029094912,6762006771438727168,7243661440355979264
CAPPED_DATA 0 conn->c_net.net 1
DATA_SOURCE 0 conn $0
CONTAINER 0 -232-80+0 $(-1)
LOCK2 &sk->sk_callback_lock
LOCK2 bh
LOCK2 rcu_read
TYPE_LOCK (struct sock)->sk_callback_lock

net/rds/tcp_listen.c rds_destroy_pending() -> (struct rds_transport)->t_unloading()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->c_trans 4096-ptr_max
PARAM_VALUE 0 conn->c_trans->conn_slots_available 8612287833789325312
PARAM_VALUE 0 conn->c_trans->t_type 0,2-3
PARAM_VALUE 0 conn->c_trans->t_unloading 3859992470029094912,6762006771438727168,7243661440355979264
CAPPED_DATA 0 conn->c_net.net 1
DATA_SOURCE 0 conn $0
CONTAINER 0 -232-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

net/rds/send.c rds_destroy_pending() -> (struct rds_transport)->t_unloading()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->c_trans 4096-ptr_max
PARAM_VALUE 0 conn->c_trans->t_unloading 3859992470029094912,6762006771438727168,7243661440355979264
PARAM_VALUE 0 conn->c_trans->xmit_path_complete 0,2731780572818505728,8259153360951472128
PARAM_VALUE 0 conn->c_trans->xmit_path_prepare 0,7353275406791905280
CAPPED_DATA 0 conn->c_net.net 1
DATA_SOURCE 0 conn $0
CONTAINER 0 -232-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/rds/threads.c rds_destroy_pending() -> (struct rds_transport)->t_unloading()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->c_trans 4096-ptr_max
PARAM_VALUE 0 conn->c_trans->t_type 0,2-3
PARAM_VALUE 0 conn->c_trans->t_unloading 3859992470029094912,6762006771438727168,7243661440355979264
CAPPED_DATA 0 conn->c_net.net 1
DATA_SOURCE 0 conn $0
CONTAINER 0 -232-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

net/rds/tcp_recv.c rds_destroy_pending() -> (struct rds_transport)->t_unloading()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->c_trans 4096-ptr_max
PARAM_VALUE 0 conn->c_trans->t_unloading 3859992470029094912,6762006771438727168,7243661440355979264
CAPPED_DATA 0 conn->c_net.net 1
DATA_SOURCE 0 conn $0
CONTAINER 0 -232-80+0 $(-1)
LOCK2 &sk->sk_callback_lock
LOCK2 bh
LOCK2 rcu_read
TYPE_LOCK (struct sock)->sk_callback_lock

net/rds/connection.c rds_destroy_pending() -> (struct rds_transport)->t_unloading()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->c_trans 4096-ptr_max
PARAM_VALUE 0 conn->c_trans->t_unloading 3859992470029094912,6762006771438727168,7243661440355979264
BUF_SIZE 0 conn->c_path (-1),1104,8832
BUF_SIZE 0 conn->c_trans (-1),248
CAPPED_DATA 0 conn->c_net.net 1
DATA_SOURCE 0 conn $0
CONTAINER 0 -232-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read