Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/irdma/cm.c irdma_cm_init_tsa_conn() -> irdma_init_tcp_ctx()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->cm_id 4096-ptr_max
PARAM_VALUE 0 cm_node->state 0-17,19-u32max
PARAM_VALUE 1 tcp_info 4096-ptr_max
PARAM_VALUE 2 iwqp 4096-ptr_max
PARAM_VALUE 2 iwqp->ctx_info.iwarp_info_valid 1
PARAM_VALUE 2 iwqp->ctx_info.tcp_info 4096-ptr_max
PARAM_VALUE 2 iwqp->ctx_info.tcp_info_valid 1
PARAM_VALUE 2 iwqp->ctx_info.udp_info 4096-ptr_max
PARAM_VALUE 2 iwqp->iwarp_info.ddp_ver 1
PARAM_VALUE 2 iwqp->iwarp_info.rd_en 1
PARAM_VALUE 2 iwqp->iwarp_info.rdmap_ver 1
PARAM_VALUE 2 iwqp->iwdev 4096-ptr_max
PARAM_VALUE 2 iwqp->iwdev->rf->sc_dev.hw->device->cma_area->nranges s32min-s32max
PARAM_VALUE 2 iwqp->iwpd 4096-ptr_max
PARAM_VALUE 2 iwqp->iwrcq 4096-ptr_max
PARAM_VALUE 2 iwqp->iwscq 4096-ptr_max
BUF_SIZE 0 cm_node (-1),16,32,120,568,1080
BUF_SIZE 0 cm_node (-1),16,32,120,568,1080
BUF_SIZE 2 iwqp (-1),16,32,120,568,1080
BUF_SIZE 2 iwqp (-1),16,32,120,568,1080
BUF_SIZE 2 iwqp->cm_node (-1),16,32,120,568,1080
BUF_SIZE 2 iwqp->ietf_mem.va (-1)-0,32-287
BUF_SIZE 2 iwqp->lsmm_mr (-1),280
DATA_SOURCE 0 cm_node $1
DATA_SOURCE 2 iwqp $0
NOSPEC 0 cm_node->iwqp->ietf_mem.size
NOSPEC 2 iwqp->ietf_mem.size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cm_node->iwqp->ietf_mem.size 0,32-287[c]
USER_DATA 0 cm_node->lsmm_size 0-279[c]
USER_DATA 0 cm_node->pdata.size 0-255
USER_DATA 2 iwqp->cm_node->lsmm_size 0-279[c]
USER_DATA 2 iwqp->cm_node->pdata.size 0-255
USER_DATA 2 iwqp->ietf_mem.size 0,32-287[c]