Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/rds/ib_cm.c rds_ib_cm_connect_complete() -> rds_connect_complete()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->c_path 4096-ptr_max
PARAM_VALUE 0 conn->c_proposed_version 769-u32max
PARAM_VALUE 0 conn->c_trans 4096-ptr_max
PARAM_VALUE 0 conn->c_version 769-u32max
BUF_SIZE 0 conn s32min-(-2),1-s32max
BUF_SIZE 0 conn s32min-(-2),1-s32max
DATA_SOURCE 0 conn $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

net/rds/loop.c rds_loop_conn_path_connect() -> rds_connect_complete()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->c_trans 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock