Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/infiniband/ulp/ipoib/ipoib_cm.c ipoib_cm_rx_handler() -> ib_send_cm_drep()

Type Parameter Key Value
PARAM_VALUE 0 cm_id 7890093938232963072
PARAM_VALUE 0 cm_id->cm_handler 2453970285654548480
PARAM_VALUE 0 cm_id->state 0,2-13
PARAM_VALUE 1 private_data 0
PARAM_VALUE 2 private_data_len 0
DATA_SOURCE 0 cm_id $0
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/ipoib/ipoib_cm.c ipoib_cm_tx_handler() -> ib_send_cm_drep()

Type Parameter Key Value
PARAM_VALUE 0 cm_id 8024153635201077248
PARAM_VALUE 0 cm_id->cm_handler 4416922711019692032
PARAM_VALUE 0 cm_id->context 4096-ptr_max
PARAM_VALUE 0 cm_id->state 0,2-13
PARAM_VALUE 1 private_data 0
PARAM_VALUE 2 private_data_len 0
DATA_SOURCE 0 cm_id $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cma.c rdma_disconnect() -> ib_send_cm_drep()

Type Parameter Key Value
PARAM_VALUE 0 cm_id 1-u64max
PARAM_VALUE 1 private_data 0
PARAM_VALUE 2 private_data_len 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &isert_conn->mutex

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_disconnect_ch() -> ib_send_cm_drep()

Type Parameter Key Value
PARAM_VALUE 1 private_data 0
PARAM_VALUE 2 private_data_len 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sport->mutex

drivers/infiniband/ulp/srp/ib_srp.c srp_ib_cm_handler() -> ib_send_cm_drep()

Type Parameter Key Value
PARAM_VALUE 0 cm_id 6284340498587357184
PARAM_VALUE 0 cm_id->cm_handler 2612077840247046144
PARAM_VALUE 0 cm_id->context 4096-ptr_max
PARAM_VALUE 0 cm_id->state 0,2-13
PARAM_VALUE 1 private_data 0
PARAM_VALUE 2 private_data_len 0
DATA_SOURCE 0 cm_id $0
HALF_LOCKED2 &pool->lock