Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx4/qp.c _mlx4_ib_modify_qp() -> __mlx4_ib_modify_qp()

Type Parameter Key Value
PARAM_VALUE 0 src 4096-ptr_max
PARAM_VALUE 1 src_type 0
PARAM_VALUE 2 attr 4096-ptr_max
PARAM_VALUE 2 attr->xmit_slave 0,4096-ptr_max
PARAM_VALUE 3 attr_mask 0-2097150
PARAM_VALUE 6 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 6 udata->outlen 0-524280,18446744073709551361-u64max
BUF_SIZE 2 attr (-1)-0,4-s32max
BUF_SIZE 2 attr (-1)-0,4-s32max
DATA_SOURCE 0 src $0
DATA_SOURCE 2 attr $1
DATA_SOURCE 3 attr_mask $2 [m]
DATA_SOURCE 6 udata $3
PARAM_COMPARE 4 cur_state <= $5
PARAM_COMPARE 5 new_state >= $4
NOSPEC 2 attr->ah_attr.port_num
NOSPEC 2 attr->alt_ah_attr.port_num
NOSPEC 2 attr->port_num
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 attr->ah_attr.ib.dlid 0-u16max
USER_DATA 2 attr->ah_attr.ib.src_path_bits 0-255
USER_DATA 2 attr->ah_attr.opa.dlid 0-u16max
USER_DATA 2 attr->ah_attr.opa.src_path_bits 0-255
USER_DATA 2 attr->ah_attr.port_num 0-255
USER_DATA 2 attr->ah_attr.sl 0-255
USER_DATA 2 attr->ah_attr.static_rate 0-255
USER_DATA 2 attr->alt_ah_attr.ib.dlid 0-u16max
USER_DATA 2 attr->alt_ah_attr.ib.src_path_bits 0-255
USER_DATA 2 attr->alt_ah_attr.opa.dlid 0-u16max
USER_DATA 2 attr->alt_ah_attr.opa.src_path_bits 0-255
USER_DATA 2 attr->alt_ah_attr.port_num 0-255
USER_DATA 2 attr->alt_ah_attr.sl 0-255
USER_DATA 2 attr->alt_ah_attr.static_rate 0-255
USER_DATA 2 attr->alt_pkey_index 0-u16max
USER_DATA 2 attr->alt_port_num 0-255[c]
USER_DATA 2 attr->alt_timeout 0-255
USER_DATA 2 attr->cur_qp_state 0-6
USER_DATA 2 attr->dest_qp_num 0-u32max
USER_DATA 2 attr->en_sqd_async_notify 0-255
USER_DATA 2 attr->max_dest_rd_atomic 0-255
USER_DATA 2 attr->max_rd_atomic 0-255
USER_DATA 2 attr->min_rnr_timer 0-255
USER_DATA 2 attr->path_mig_state 0-255
USER_DATA 2 attr->path_mtu 0-255
USER_DATA 2 attr->pkey_index 0-u16max
USER_DATA 2 attr->port_num 0-255
USER_DATA 2 attr->qkey 0-2147483646,2147483648-u32max
USER_DATA 2 attr->qp_access_flags s32min-s32max
USER_DATA 2 attr->qp_state 0-6
USER_DATA 2 attr->rate_limit 0-u32max
USER_DATA 2 attr->retry_cnt 0-255
USER_DATA 2 attr->rnr_retry 0-255
USER_DATA 2 attr->rq_psn 0-u32max
USER_DATA 2 attr->sq_psn 0-u32max
USER_DATA 2 attr->timeout 0-255
USER_DATA 3 attr_mask 0-2097150
USER_DATA 4 cur_state 0-6[c]
USER_DATA 5 new_state 0-6[c]
USER_DATA 6 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 6 udata->outlen 0-524280,18446744073709551361-u64max
LOCK2 &qp->mutex
HALF_LOCKED2 &ibqp->qp_sec->mutex
TYPE_LOCK (struct mlx4_ib_qp)->mutex

drivers/infiniband/hw/mlx4/qp.c _mlx4_ib_modify_wq() -> __mlx4_ib_modify_qp()

Type Parameter Key Value
PARAM_VALUE 0 src 4096-ptr_max
PARAM_VALUE 1 src_type 1
PARAM_VALUE 2 attr 1323295712651587584
PARAM_VALUE 2 attr->ah_attr.ah_flags 0
PARAM_VALUE 2 attr->ah_attr.grh.sgid_attr 0
PARAM_VALUE 2 attr->ah_attr.ib.dlid 0
PARAM_VALUE 2 attr->ah_attr.ib.src_path_bits 0
PARAM_VALUE 2 attr->ah_attr.opa.dlid 0
PARAM_VALUE 2 attr->ah_attr.opa.src_path_bits 0
PARAM_VALUE 2 attr->ah_attr.port_num 0
PARAM_VALUE 2 attr->ah_attr.sl 0
PARAM_VALUE 2 attr->ah_attr.static_rate 0
PARAM_VALUE 2 attr->ah_attr.type 0
PARAM_VALUE 2 attr->alt_ah_attr.ah_flags 0
PARAM_VALUE 2 attr->alt_ah_attr.ib.dlid 0
PARAM_VALUE 2 attr->alt_ah_attr.ib.src_path_bits 0
PARAM_VALUE 2 attr->alt_ah_attr.opa.dlid 0
PARAM_VALUE 2 attr->alt_ah_attr.opa.src_path_bits 0
PARAM_VALUE 2 attr->alt_ah_attr.port_num 0
PARAM_VALUE 2 attr->alt_ah_attr.sl 0
PARAM_VALUE 2 attr->alt_ah_attr.static_rate 0
PARAM_VALUE 2 attr->alt_ah_attr.type 0
PARAM_VALUE 2 attr->alt_pkey_index 0
PARAM_VALUE 2 attr->alt_port_num 0
PARAM_VALUE 2 attr->alt_timeout 0
PARAM_VALUE 2 attr->dest_qp_num 0
PARAM_VALUE 2 attr->en_sqd_async_notify 0
PARAM_VALUE 2 attr->max_dest_rd_atomic 0
PARAM_VALUE 2 attr->max_rd_atomic 0
PARAM_VALUE 2 attr->min_rnr_timer 0
PARAM_VALUE 2 attr->path_mig_state 0
PARAM_VALUE 2 attr->path_mtu 0
PARAM_VALUE 2 attr->pkey_index 0
PARAM_VALUE 2 attr->port_num 0-255
PARAM_VALUE 2 attr->qkey 0
PARAM_VALUE 2 attr->qp_access_flags 0
PARAM_VALUE 2 attr->qp_state 0
PARAM_VALUE 2 attr->retry_cnt 0
PARAM_VALUE 2 attr->rnr_retry 0
PARAM_VALUE 2 attr->rq_psn 0
PARAM_VALUE 2 attr->sq_psn 0
PARAM_VALUE 2 attr->timeout 0
PARAM_VALUE 3 attr_mask 32
PARAM_VALUE 4 cur_state 0
PARAM_VALUE 5 new_state 1
PARAM_VALUE 6 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 6 udata->outlen 0-524280,18446744073709551361-u64max
BUF_SIZE 0 src (-1),1-s32max
CAPPED_DATA 6 udata->inlen 1
DATA_SOURCE 0 src $0
DATA_SOURCE 6 udata $2
NOSPEC 6 udata->inlen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 6 udata->inlen 0-524280,18446744073709551361-u64max[c]
USER_DATA 6 udata->outlen 0-524280,18446744073709551361-u64max
LOCK2 &qp->mutex
HALF_LOCKED2 &wq->mutex
TYPE_LOCK (struct mlx4_ib_qp)->mutex

drivers/infiniband/hw/mlx4/qp.c _mlx4_ib_modify_wq() -> __mlx4_ib_modify_qp()

Type Parameter Key Value
PARAM_VALUE 0 src 4096-ptr_max
PARAM_VALUE 1 src_type 1
PARAM_VALUE 2 attr 0
PARAM_VALUE 3 attr_mask 0
PARAM_VALUE 4 cur_state 0-255
PARAM_VALUE 5 new_state 0,2,6
PARAM_VALUE 6 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 6 udata->outlen 0-524280,18446744073709551361-u64max
BUF_SIZE 0 src (-1),1-s32max
CAPPED_DATA 6 udata->inlen 1
DATA_SOURCE 0 src $0
DATA_SOURCE 5 new_state r ib_wq2qp_state
DATA_SOURCE 6 udata $2
FUZZY_MAX 4 cur_state 1
NOSPEC 6 udata->inlen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 6 udata->inlen 0-524280,18446744073709551361-u64max[c]
USER_DATA 6 udata->outlen 0-524280,18446744073709551361-u64max
LOCK2 &qp->mutex
HALF_LOCKED2 &wq->mutex
TYPE_LOCK (struct mlx4_ib_qp)->mutex

drivers/infiniband/hw/mlx4/qp.c _mlx4_ib_modify_wq() -> __mlx4_ib_modify_qp()

Type Parameter Key Value
PARAM_VALUE 0 src 4096-ptr_max
PARAM_VALUE 1 src_type 1
PARAM_VALUE 2 attr 0
PARAM_VALUE 3 attr_mask 0
PARAM_VALUE 4 cur_state 1
PARAM_VALUE 5 new_state 0
PARAM_VALUE 6 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 6 udata->outlen 0-524280,18446744073709551361-u64max
BUF_SIZE 0 src (-1),1-s32max
CAPPED_DATA 6 udata->inlen 1
DATA_SOURCE 0 src $0
DATA_SOURCE 6 udata $2
NOSPEC 6 udata->inlen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 6 udata->inlen 0-524280,18446744073709551361-u64max[c]
USER_DATA 6 udata->outlen 0-524280,18446744073709551361-u64max
LOCK2 &qp->mutex
HALF_LOCKED2 &wq->mutex
TYPE_LOCK (struct mlx4_ib_qp)->mutex