Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

net/rds/ib_cm.c rds_conn_transition() -> rds_conn_path_transition()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 old 0
PARAM_VALUE 2 new 1
DATA_SOURCE 1 old $1
DATA_SOURCE 2 new $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

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

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

net/rds/tcp_listen.c rds_tcp_accept_one_path() -> rds_conn_path_transition()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 old 0
PARAM_VALUE 2 new 1
LOCK2 &rtn->rds_tcp_accept_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rds_tcp_net)->rds_tcp_accept_lock

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

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 old 1,4
PARAM_VALUE 2 new 3
BUF_SIZE 0 cp s32min-(-1),1-s32max
BUF_SIZE 0 cp s32min-(-1),1-s32max
DATA_SOURCE 0 cp $0
DATA_SOURCE 1 old $1
HARD_MAX 1 old 4
RX_PATH
TASK_NOT_RUNNING
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/threads.c rds_connect_worker() -> rds_conn_path_transition()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 old 0
PARAM_VALUE 2 new 1
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_state.counter 0-s32max
PARAM_VALUE 1 old 1
PARAM_VALUE 2 new 0
HALF_LOCKED2 &pool->lock

net/rds/connection.c rds_conn_shutdown() -> rds_conn_path_transition()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 old 0
PARAM_VALUE 2 new 0
DATA_SOURCE 0 cp $0
HALF_LOCKED2 &pool->lock

net/rds/connection.c rds_conn_shutdown() -> rds_conn_path_transition()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_state.counter 0-s32max
PARAM_VALUE 1 old 3
PARAM_VALUE 2 new 2
CAPPED_DATA 0 &cp->cp_cm_lock 1
DATA_SOURCE 0 cp $0
LOCK2 0 &cp->cp_cm_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rds_conn_path)->cp_cm_lock

net/rds/connection.c rds_conn_shutdown() -> rds_conn_path_transition()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_state.counter 0-s32max
PARAM_VALUE 1 old 5
PARAM_VALUE 2 new 2
CAPPED_DATA 0 &cp->cp_cm_lock 1
DATA_SOURCE 0 cp $0
LOCK2 0 &cp->cp_cm_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rds_conn_path)->cp_cm_lock

net/rds/connection.c rds_conn_shutdown() -> rds_conn_path_transition()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_state.counter 0-s32max
PARAM_VALUE 1 old 4
PARAM_VALUE 2 new 2
CAPPED_DATA 0 &cp->cp_cm_lock 1
DATA_SOURCE 0 cp $0
LOCK2 0 &cp->cp_cm_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rds_conn_path)->cp_cm_lock

net/rds/connection.c rds_conn_shutdown() -> rds_conn_path_transition()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_state.counter 0-s32max
PARAM_VALUE 1 old 2
PARAM_VALUE 2 new 0
CAPPED_DATA 0 &cp->cp_cm_lock 1
DATA_SOURCE 0 cp $0
HALF_LOCKED2 &pool->lock

net/rds/connection.c rds_conn_shutdown() -> rds_conn_path_transition()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->cp_state.counter 0-s32max
PARAM_VALUE 1 old 5
PARAM_VALUE 2 new 0
CAPPED_DATA 0 &cp->cp_cm_lock 1
DATA_SOURCE 0 cp $0
HALF_LOCKED2 &pool->lock