Defined in 1 files as a function:
Referenced in 5 files:
- net/rds/connection.c
- net/rds/rds.h, line 997
- net/rds/recv.c, line 410
- net/rds/tcp.c
- net/rds/tcp_connect.c
Smatch caller information:
net/rds/cong.c rds_destroy_pending() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | conn | $0 |
| PREEMPT_ADD | |||
| 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() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | conn | $0 |
| HALF_LOCKED2 | &pool->lock |
net/rds/tcp_connect.c rds_tcp_conn_path_connect() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| LOCK2 | &tc->t_conn_path_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rds_tcp_connection)->t_conn_path_lock |
net/rds/tcp_connect.c rds_tcp_conn_path_connect() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| LOCK2 | &tc->t_conn_path_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rds_tcp_connection)->t_conn_path_lock |
net/rds/tcp_connect.c rds_tcp_conn_path_connect() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| CAPPED_DATA | 0 | conn->c_net.net | 1 |
| LOCK2 | &tc->t_conn_path_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rds_tcp_connection)->t_conn_path_lock |
net/rds/tcp_send.c rds_destroy_pending() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | conn | $0 |
| LOCK2 | &sk->sk_callback_lock | ||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct sock)->sk_callback_lock |
net/rds/tcp.c rds6_tcp_tc_info() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| LOCK2 | flags | ||
| LOCK2 | global &rds_info_srcu | ||
| LOCK2 | global &rds_tcp_tc_list_lock |
net/rds/tcp.c rds6_tcp_tc_info() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| LOCK2 | flags | ||
| LOCK2 | global &rds_info_srcu | ||
| LOCK2 | global &rds_tcp_tc_list_lock |
net/rds/tcp.c rds_tcp_tc_info() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| LOCK2 | flags | ||
| LOCK2 | global &rds_info_srcu | ||
| LOCK2 | global &rds_tcp_tc_list_lock |
net/rds/tcp.c rds_tcp_tc_info() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| LOCK2 | flags | ||
| LOCK2 | global &rds_info_srcu | ||
| LOCK2 | global &rds_tcp_tc_list_lock |
net/rds/tcp_listen.c rds_destroy_pending() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| DATA_SOURCE | 0 | conn | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/rds/recv.c rds_recv_incoming() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| DATA_SOURCE | 0 | conn | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/rds/send.c rds_destroy_pending() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | conn | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
net/rds/threads.c rds_destroy_pending() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| DATA_SOURCE | 0 | conn | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
net/rds/tcp_recv.c rds_destroy_pending() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | conn | $0 |
| LOCK2 | &sk->sk_callback_lock | ||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct sock)->sk_callback_lock |
net/rds/connection.c rds_conn_lookup() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| CAPPED_DATA | 0 | conn->c_tos | 1 |
| CAPPED_DATA | 0 | conn->c_trans | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &rds_conn_lock |
net/rds/connection.c rds_conn_message_info_cmn() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 1-u64max |
| RX_PATH | |||
| LOCK2 | rcu_read |
net/rds/connection.c rds_destroy_pending() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | conn->c_path | (-1),1104,8832 |
| BUF_SIZE | 0 | conn->c_trans | (-1),248 |
| DATA_SOURCE | 0 | conn | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
net/rds/connection.c rds_for_each_conn_info() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 1-u64max |
| RX_PATH | |||
| LOCK2 | global &rds_info_srcu | ||
| LOCK2 | rcu_read |
net/rds/connection.c rds_walk_conn_path_info() -> rds_conn_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 1-u64max |
| RX_PATH | |||
| LOCK2 | global &rds_info_srcu | ||
| LOCK2 | rcu_read |