Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/verbs.c _ib_modify_qp() -> ib_security_modify_qp()

Type Parameter Key Value
PARAM_VALUE 0 qp 4096-ptr_max
PARAM_VALUE 0 qp->device 4096-ptr_max
PARAM_VALUE 0 qp->device->port_data 4096-ptr_max
PARAM_VALUE 0 qp->xrcd->tgt_qps_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 qp->xrcd->tgt_qps_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 qp_attr 4096-ptr_max
PARAM_VALUE 1 qp_attr->xmit_slave 0,4096-ptr_max
PARAM_VALUE 2 qp_attr_mask 0-s32max
PARAM_VALUE 3 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 3 udata->outlen 0-524280,18446744073709551361-u64max
BUF_SIZE 1 qp_attr (-1)-0,4-s32max
BUF_SIZE 1 qp_attr (-1)-0,4-s32max
CAPPED_DATA 0 qp->device 1
DATA_SOURCE 0 qp $0
DATA_SOURCE 1 qp_attr $1
DATA_SOURCE 2 qp_attr_mask $2
DATA_SOURCE 3 udata $3
FUZZY_MAX 2 qp_attr_mask 113
NOSPEC 0 qp->counter->port
NOSPEC 1 qp_attr->ah_attr.port_num
NOSPEC 1 qp_attr->alt_ah_attr.port_num
NOSPEC 1 qp_attr->port_num
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 qp->counter->port 0-255[c]
USER_DATA 1 qp_attr->ah_attr.ib.dlid 0-u16max
USER_DATA 1 qp_attr->ah_attr.ib.src_path_bits 0-255
USER_DATA 1 qp_attr->ah_attr.opa.dlid 0-u16max
USER_DATA 1 qp_attr->ah_attr.opa.src_path_bits 0-255
USER_DATA 1 qp_attr->ah_attr.port_num 0-255
USER_DATA 1 qp_attr->ah_attr.sl 0-255
USER_DATA 1 qp_attr->ah_attr.static_rate 0-255
USER_DATA 1 qp_attr->alt_ah_attr.ib.dlid 0-u16max
USER_DATA 1 qp_attr->alt_ah_attr.ib.src_path_bits 0-255
USER_DATA 1 qp_attr->alt_ah_attr.opa.dlid 0-u16max
USER_DATA 1 qp_attr->alt_ah_attr.opa.src_path_bits 0-255
USER_DATA 1 qp_attr->alt_ah_attr.port_num 0-255
USER_DATA 1 qp_attr->alt_ah_attr.sl 0-255
USER_DATA 1 qp_attr->alt_ah_attr.static_rate 0-255
USER_DATA 1 qp_attr->alt_pkey_index 0-u16max
USER_DATA 1 qp_attr->alt_port_num 0-255[c]
USER_DATA 1 qp_attr->alt_timeout 0-255
USER_DATA 1 qp_attr->cur_qp_state 0-6
USER_DATA 1 qp_attr->dest_qp_num 0-u32max
USER_DATA 1 qp_attr->en_sqd_async_notify 0-255
USER_DATA 1 qp_attr->max_dest_rd_atomic 0-255
USER_DATA 1 qp_attr->max_rd_atomic 0-255
USER_DATA 1 qp_attr->min_rnr_timer 0-255
USER_DATA 1 qp_attr->path_mig_state 0-255
USER_DATA 1 qp_attr->path_mtu 0-255
USER_DATA 1 qp_attr->pkey_index 0-u16max
USER_DATA 1 qp_attr->port_num 0-255
USER_DATA 1 qp_attr->qkey 0-2147483646,2147483648-u32max
USER_DATA 1 qp_attr->qp_access_flags s32min-s32max
USER_DATA 1 qp_attr->qp_state 0-6
USER_DATA 1 qp_attr->rate_limit 0-u32max
USER_DATA 1 qp_attr->retry_cnt 0-255
USER_DATA 1 qp_attr->rnr_retry 0-255
USER_DATA 1 qp_attr->rq_psn 0-u32max
USER_DATA 1 qp_attr->sq_psn 0-u32max
USER_DATA 1 qp_attr->timeout 0-255
USER_DATA 2 qp_attr_mask 0-67108894
USER_DATA 3 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 3 udata->outlen 0-524280,18446744073709551361-u64max