Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_conn 4096-ptr_max
PARAM_VALUE 0 cp->cp_state.counter 0-s32max
PARAM_VALUE 0 cp->cp_transport_data 4096-ptr_max
PARAM_VALUE 1 destroy 0
BUF_SIZE 0 cp s32min-(-2),1-s32max
BUF_SIZE 0 cp s32min-(-2),1-s32max
NOCHECK_CALL
LOCK2 &sk->sk_callback_lock
LOCK2 bh
TYPE_LOCK (struct sock)->sk_callback_lock

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

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_transport_data 4096-ptr_max
PARAM_VALUE 1 destroy 0
BUF_SIZE 0 cp s32min-(-2),1-s32max
BUF_SIZE 0 cp s32min-(-2),1-s32max
NOCHECK_CALL
LOCK2 &sk->sk_callback_lock
LOCK2 bh
TYPE_LOCK (struct sock)->sk_callback_lock

net/rds/tcp_send.c rds_tcp_xmit() -> rds_conn_path_drop()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_state.counter 3
PARAM_VALUE 1 destroy 0
NOCHECK_CALL

net/rds/tcp.c rds_tcp_sysctl_reset() -> rds_conn_path_drop()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_conn 4096-ptr_max
PARAM_VALUE 1 destroy 0
CAPPED_DATA 0 cp->cp_conn->c_net.net 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rds_tcp_conn_lock
LOCK2 irq
HALF_LOCKED2 &pool->lock

net/rds/ib.c rds_ib_dev_shutdown() -> rds_conn_path_drop()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 destroy 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rds_ibdev->spinlock
LOCK2 flags
HALF_LOCKED2 &device->unregistration_lock
TYPE_LOCK (struct rds_ib_device)->spinlock

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

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 destroy 0
NOCHECK_CALL
LOCK2 &rs_tcp->t_conn_path_lock
LOCK2 &rtn->rds_tcp_accept_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rds_tcp_connection)->t_conn_path_lock
TYPE_LOCK (struct rds_tcp_net)->rds_tcp_accept_lock

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

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_state.counter 0-s32max
PARAM_VALUE 0 cp->cp_transport_data 4096-ptr_max
PARAM_VALUE 0 cp->cp_transport_data->t_list_item.next 7597755388568768512
PARAM_VALUE 1 destroy 0
CAPPED_DATA 0 cp->cp_conn->c_net.net 1
NOCHECK_CALL
LOCK2 &rs_tcp->t_conn_path_lock
LOCK2 &rtn->rds_tcp_accept_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rds_tcp_connection)->t_conn_path_lock
TYPE_LOCK (struct rds_tcp_net)->rds_tcp_accept_lock

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

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_transport_data 4096-ptr_max
PARAM_VALUE 1 destroy 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/rds/threads.c rds_connect_path_complete() -> rds_conn_path_drop()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_state.counter 0-s32max
PARAM_VALUE 1 destroy 0
BUF_SIZE 0 cp s32min-(-1),1-s32max
BUF_SIZE 0 cp s32min-(-1),1-s32max
DATA_SOURCE 0 cp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &rs_tcp->t_conn_path_lock
HALF_LOCKED2 &rtn->rds_tcp_accept_lock
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 bh

net/rds/connection.c __rds_conn_path_error() -> rds_conn_path_drop()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_state.counter 0-s32max
PARAM_VALUE 1 destroy 0
DATA_SOURCE 0 cp $0
STR_LEN 0 cp 22,35,67
STR_LEN 0 cp 22,35,67
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &cp->cp_cm_lock

net/rds/connection.c rds_conn_drop() -> rds_conn_path_drop()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 destroy 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/rds/connection.c rds_conn_path_destroy() -> rds_conn_path_drop()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_recv_w.work.lockdep_map->name 0-255
PARAM_VALUE 0 cp->cp_send_w.work.lockdep_map->name 0-255
PARAM_VALUE 0 cp->cp_transport_data 1-u64max
PARAM_VALUE 1 destroy 1
DATA_SOURCE 0 cp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pernet_ops_rwsem