Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/verbs.c create_qp() -> (struct ib_device_ops)->destroy_qp()

Type Parameter Key Value
PARAM_VALUE 0 ibqp 4096-ptr_max
PARAM_VALUE 0 ibqp->comp_cntrs.xa_flags 0
PARAM_VALUE 0 ibqp->comp_cntrs.xa_head 0
PARAM_VALUE 0 ibqp->device 4096-ptr_max
PARAM_VALUE 0 ibqp->device->ops.create_qp 1-u64max
PARAM_VALUE 0 ibqp->event_handler 5845194441982709760
PARAM_VALUE 0 ibqp->pd 0,4096-ptr_max
PARAM_VALUE 0 ibqp->qp_sec 0
PARAM_VALUE 0 ibqp->qp_type 0-4,8-10,255,4096-4097
PARAM_VALUE 0 ibqp->rdma_mrs.next 4096-ptr_max
PARAM_VALUE 0 ibqp->rdma_mrs.next->next 4096-ptr_max
PARAM_VALUE 0 ibqp->rdma_mrs.prev 4096-ptr_max
PARAM_VALUE 0 ibqp->rdma_mrs.prev->next 4096-ptr_max
PARAM_VALUE 0 ibqp->rdma_mrs.prev->prev 4096-ptr_max
PARAM_VALUE 0 ibqp->real_qp 4096-ptr_max
PARAM_VALUE 0 ibqp->real_qp->device 4096-ptr_max
PARAM_VALUE 0 ibqp->real_qp->pd 0,4096-ptr_max
PARAM_VALUE 0 ibqp->real_qp->real_qp 4096-ptr_max
PARAM_VALUE 0 ibqp->real_qp->uobject 0,4096-ptr_max
PARAM_VALUE 0 ibqp->res.comp.done 0
PARAM_VALUE 0 ibqp->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 ibqp->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 ibqp->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ibqp->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 ibqp->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 ibqp->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 ibqp->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ibqp->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ibqp->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 ibqp->res.type 2
PARAM_VALUE 0 ibqp->sig_mrs.next 4096-ptr_max
PARAM_VALUE 0 ibqp->sig_mrs.next->next 4096-ptr_max
PARAM_VALUE 0 ibqp->sig_mrs.prev 4096-ptr_max
PARAM_VALUE 0 ibqp->sig_mrs.prev->next 4096-ptr_max
PARAM_VALUE 0 ibqp->sig_mrs.prev->prev 4096-ptr_max
PARAM_VALUE 0 ibqp->srq_completion.done 0
PARAM_VALUE 0 ibqp->srq_completion.wait.lock.magic 3735899821
PARAM_VALUE 0 ibqp->srq_completion.wait.lock.owner (-1)
PARAM_VALUE 0 ibqp->srq_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ibqp->srq_completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 ibqp->srq_completion.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 ibqp->srq_completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 ibqp->srq_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ibqp->srq_completion.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ibqp->uobject 0,4096-ptr_max
BUF_SIZE 0 ibqp s32min-s32max
BUF_SIZE 0 ibqp->pd (-1)-s32max
BUF_SIZE 0 ibqp->qp_context s32min-(-1),1-s32max
BUF_SIZE 0 ibqp->real_qp s32min-s32max
BUF_SIZE 1 udata 0,32
DATA_SOURCE 0 ibqp r rdma_zalloc_obj
STR_LEN 0 ibqp->device 3,6-9
STR_LEN 0 ibqp->pd (-1),3,6-8
STR_LEN 0 ibqp->pd->res.kern_name (-1),7,9-10
STR_LEN 0 ibqp->qp_sec->dev (-1)
STR_LEN 0 ibqp->real_qp->device 3,6-9
STR_LEN 0 ibqp->real_qp->pd (-1),3,6-8
STR_LEN 0 ibqp->recv_cq->res.kern_name (-1),7-8
STR_LEN 0 ibqp->send_cq->res.kern_name (-1),7-8
CONTAINER 0 -408-8-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ibqp->qp_type 2-4,8,255
NO_OVERFLOW_SIMPLE 0 ibqp->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibqp->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibqp->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 ibqp->qp_sec->dev->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibqp->qp_sec->dev->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibqp->qp_sec->dev->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 ibqp->recv_cq->cqe_used
NO_OVERFLOW_SIMPLE 0 ibqp->send_cq->cqe_used

drivers/infiniband/core/verbs.c ib_destroy_qp_user() -> (struct ib_device_ops)->destroy_qp()

Type Parameter Key Value
PARAM_VALUE 0 ibqp 4096-ptr_max
PARAM_VALUE 0 ibqp->counter->lock.dep_map->name 0-255
PARAM_VALUE 0 ibqp->counter->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ibqp->counter->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ibqp->counter->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 ibqp->counter->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 ibqp->counter->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 ibqp->counter->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 ibqp->counter->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 ibqp->counter->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ibqp->counter->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ibqp->device 4096-ptr_max
PARAM_VALUE 0 ibqp->qp_sec 0,4096-ptr_max
PARAM_VALUE 0 ibqp->qp_sec->destroying 1
PARAM_VALUE 0 ibqp->qp_sec->ports_pkeys 0,4096-ptr_max
PARAM_VALUE 0 ibqp->qp_sec->ports_pkeys->alt.state 0-2
PARAM_VALUE 0 ibqp->qp_sec->ports_pkeys->main.state 0-2
PARAM_VALUE 0 ibqp->real_qp 4096-ptr_max
PARAM_VALUE 0 ibqp->real_qp->counter->mode.mode 0-2
PARAM_VALUE 0 ibqp->real_qp->qp_sec->ports_pkeys->alt.state 0-2
PARAM_VALUE 0 ibqp->real_qp->qp_sec->ports_pkeys->main.state 0-2
PARAM_VALUE 0 ibqp->real_qp->xrcd->tgt_qps_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ibqp->real_qp->xrcd->tgt_qps_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 ibqp->usecnt.counter 0
PARAM_VALUE 0 ibqp->xrcd->tgt_qps_rwsem.first_waiter->type 0-1
BUF_SIZE 0 ibqp (-1),1-s32max
BUF_SIZE 0 ibqp (-1),1-s32max
BUF_SIZE 0 ibqp->pd s32min,(-1)-s32max
BUF_SIZE 0 ibqp->qp_context s32min-(-1),1-s32max
CAPPED_DATA 0 ibqp 1
CAPPED_DATA 0 ibqp->real_qp 1
CAPPED_DATA 0 &ibqp->res 1
DATA_SOURCE 0 ibqp $0
DATA_SOURCE 1 udata $1
STR_LEN 0 ibqp->device (-1)
STR_LEN 0 ibqp->pd (-1),3,6-8
CONTAINER 0 -408-8-0+0 $(-1)
PARAM_COMPARE 0 ibqp == $0->real_qp
PARAM_COMPARE 0 ibqp == $0->real_qp
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ibqp->counter->port 0-255[c]
USER_DATA 0 ibqp->qp_sec->qp->qp_type 2-4,8,255
NO_OVERFLOW_SIMPLE 0 ibqp->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibqp->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibqp->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 ibqp->qp_sec->dev->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibqp->qp_sec->dev->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibqp->qp_sec->dev->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 ibqp->recv_cq->cqe_used
NO_OVERFLOW_SIMPLE 0 ibqp->send_cq->cqe_used