create_pv_sqp identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/infiniband/hw/mlx4/mad.c, line 1793 (as a function)

Referenced in 1 files:

drivers/infiniband/hw/mlx4/mad.c
- line 2028
- line 2036

Smatch caller information:

drivers/infiniband/hw/mlx4/mad.c create_pv_resources() -> create_pv_sqp()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->cq	4096-ptr_max
PARAM_VALUE	0	ctx->cq->comp_handler	6959967151526006784,8779741972702699520
PARAM_VALUE	0	ctx->cq->cq_context	4096-ptr_max
PARAM_VALUE	0	ctx->cq->device	4096-ptr_max
PARAM_VALUE	0	ctx->cq->device->ops.size_ib_cq	0-4000000
PARAM_VALUE	0	ctx->cq->event_handler	0
PARAM_VALUE	0	ctx->cq->res.comp.done	0
PARAM_VALUE	0	ctx->cq->res.comp.wait.lock.magic	3735899821
PARAM_VALUE	0	ctx->cq->res.comp.wait.lock.owner	(-1)
PARAM_VALUE	0	ctx->cq->res.comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	ctx->cq->res.comp.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	ctx->cq->res.comp.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	ctx->cq->res.comp.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	ctx->cq->res.comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ctx->cq->res.comp.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ctx->cq->res.kern_name	4864334747044499456
PARAM_VALUE	0	ctx->cq->res.kref.refcount.refs.counter	1
PARAM_VALUE	0	ctx->cq->res.type	1
PARAM_VALUE	0	ctx->cq->usecnt.counter	0
PARAM_VALUE	0	ctx->has_smi	s32min-(-1),1-s32max
PARAM_VALUE	0	ctx->ib_dev	4096-ptr_max
PARAM_VALUE	0	ctx->ib_dev->ops.size_ib_cq	0-4000000
PARAM_VALUE	0	ctx->ib_dev->ops.size_ib_pd	0-4000000
PARAM_VALUE	0	ctx->pd	4096-ptr_max
PARAM_VALUE	0	ctx->pd->device	4096-ptr_max
PARAM_VALUE	0	ctx->pd->device->ops.size_ib_pd	0-4000000
PARAM_VALUE	0	ctx->pd->flags	0
PARAM_VALUE	0	ctx->pd->res.comp.done	0
PARAM_VALUE	0	ctx->pd->res.comp.wait.lock.magic	3735899821
PARAM_VALUE	0	ctx->pd->res.comp.wait.lock.owner	(-1)
PARAM_VALUE	0	ctx->pd->res.comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	ctx->pd->res.comp.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	ctx->pd->res.comp.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	ctx->pd->res.comp.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	ctx->pd->res.comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ctx->pd->res.comp.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ctx->pd->res.kern_name	4864334747044499456
PARAM_VALUE	0	ctx->pd->res.kref.refcount.refs.counter	1
PARAM_VALUE	0	ctx->pd->res.type	0
PARAM_VALUE	0	ctx->state	1
PARAM_VALUE	1	qp_type	0
PARAM_VALUE	2	create_tun	0-1
BUF_SIZE	0	ctx->cq	s32min-s32max
BUF_SIZE	0	ctx->cq->res.kern_name	8
BUF_SIZE	0	ctx->pd	s32min-s32max
BUF_SIZE	0	ctx->pd->res.kern_name	8
DATA_SOURCE	0	ctx	$4
DATA_SOURCE	2	create_tun	$3
FUZZY_MAX	0	ctx->has_smi	1
STR_LEN	0	ctx->cq->res.kern_name	7
STR_LEN	0	ctx->pd->res.kern_name	7
BIT_INFO	0	ctx->cq->comp_handler	0x6096c00e92080000,0x79d7edffbf987000
TERMINATED	0	ctx->cq->res.kern_name	1
TERMINATED	0	ctx->pd->res.kern_name	1
HARD_MAX	2	create_tun	1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	ctx->pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE	0	ctx->pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE	0	ctx->pd->device->phys_port_cnt

drivers/infiniband/hw/mlx4/mad.c create_pv_resources() -> create_pv_sqp()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->cq	4096-ptr_max
PARAM_VALUE	0	ctx->cq->comp_handler	6959967151526006784,8779741972702699520
PARAM_VALUE	0	ctx->cq->cq_context	4096-ptr_max
PARAM_VALUE	0	ctx->cq->device	4096-ptr_max
PARAM_VALUE	0	ctx->cq->device->ops.size_ib_cq	0-4000000
PARAM_VALUE	0	ctx->cq->event_handler	0
PARAM_VALUE	0	ctx->cq->res.comp.done	0
PARAM_VALUE	0	ctx->cq->res.comp.wait.lock.magic	3735899821
PARAM_VALUE	0	ctx->cq->res.comp.wait.lock.owner	(-1)
PARAM_VALUE	0	ctx->cq->res.comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	ctx->cq->res.comp.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	ctx->cq->res.comp.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	ctx->cq->res.comp.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	ctx->cq->res.comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ctx->cq->res.comp.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ctx->cq->res.kern_name	4864334747044499456
PARAM_VALUE	0	ctx->cq->res.kref.refcount.refs.counter	1
PARAM_VALUE	0	ctx->cq->res.type	1
PARAM_VALUE	0	ctx->cq->usecnt.counter	0
PARAM_VALUE	0	ctx->ib_dev->ops.size_ib_cq	0-4000000
PARAM_VALUE	0	ctx->ib_dev->ops.size_ib_pd	0-4000000
PARAM_VALUE	0	ctx->pd->device	4096-ptr_max
PARAM_VALUE	0	ctx->pd->device->ops.size_ib_pd	0-4000000
PARAM_VALUE	0	ctx->pd->flags	0
PARAM_VALUE	0	ctx->pd->res.comp.done	0
PARAM_VALUE	0	ctx->pd->res.comp.wait.lock.magic	3735899821
PARAM_VALUE	0	ctx->pd->res.comp.wait.lock.owner	(-1)
PARAM_VALUE	0	ctx->pd->res.comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	ctx->pd->res.comp.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	ctx->pd->res.comp.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	ctx->pd->res.comp.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	ctx->pd->res.comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ctx->pd->res.comp.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ctx->pd->res.kern_name	4864334747044499456
PARAM_VALUE	0	ctx->pd->res.kref.refcount.refs.counter	1
PARAM_VALUE	0	ctx->pd->res.type	0
PARAM_VALUE	1	qp_type	1
PARAM_VALUE	2	create_tun	0-1
BUF_SIZE	0	ctx->cq	s32min-s32max
BUF_SIZE	0	ctx->cq->res.kern_name	(-1),8
BUF_SIZE	0	ctx->pd	s32min-s32max
BUF_SIZE	0	ctx->pd->res.kern_name	(-1),8
DATA_SOURCE	0	ctx	$4
DATA_SOURCE	2	create_tun	$3
STR_LEN	0	ctx->cq->res.kern_name	(-1),7
STR_LEN	0	ctx->pd->res.kern_name	(-1),7
TERMINATED	0	ctx->cq->res.kern_name	1
TERMINATED	0	ctx->pd->res.kern_name	1
HARD_MAX	2	create_tun	1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	ctx->pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE	0	ctx->pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE	0	ctx->pd->device->phys_port_cnt