Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/cma.c rdma_accept() -> cma_send_sidr_rep()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->state 5
PARAM_VALUE 1 status 0
BUF_SIZE 3 private_data 1-259,512
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 id_priv->qp_num 0-16777215[c]
USER_DATA 0 id_priv->srq 0-255
USER_DATA 2 qkey 0-u32max
USER_DATA 4 private_data_len 0-255
UNITS 3 private_data unit_byte
UNITS 4 private_data_len unit_byte
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &sport->mutex
HALF_LOCKED2 &srv->paths_mutex

drivers/infiniband/core/cma.c rdma_accept() -> cma_send_sidr_rep()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->state 5
PARAM_VALUE 1 status 0
PARAM_VALUE 2 qkey 0
PARAM_VALUE 3 private_data 0
PARAM_VALUE 4 private_data_len 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &sport->mutex

drivers/infiniband/core/cma.c rdma_reject() -> cma_send_sidr_rep()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->cm_id.ib 1-u64max
PARAM_VALUE 1 status 2
PARAM_VALUE 2 qkey 0
BUF_SIZE 3 private_data (-1),4,32,56,256
BUF_SIZE 3 private_data (-1),4,32,56,256
DATA_SOURCE 3 private_data $1
DATA_SOURCE 4 private_data_len $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 private_data_len 0-255
UNITS 4 private_data_len unit_byte
USER_PTR 3 private_data
HALF_LOCKED2 &ctx->mutex