ionic_destroy_cq identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/infiniband/hw/ionic/ionic_ibdev.h, line 493 (as a prototype)

Defined in 1 files as a function:

drivers/infiniband/hw/ionic/ionic_controlpath.c, line 1349 (as a function)

Referenced in 1 files:

drivers/infiniband/hw/ionic/ionic_ibdev.c, line 240

Smatch caller information:

drivers/infiniband/core/verbs.c ib_destroy_cq_user() -> (struct ib_device_ops)->destroy_cq()

Type	Parameter	Key	Value
PARAM_VALUE	0	ibcq	4096-ptr_max
PARAM_VALUE	0	ibcq->device	4096-ptr_max
PARAM_VALUE	0	ibcq->shared	0
PARAM_VALUE	0	ibcq->usecnt.counter	0
BUF_SIZE	0	ibcq	(-1),1-s32max
BUF_SIZE	0	ibcq	(-1),1-s32max
BUF_SIZE	0	ibcq->cq_context	(-1),9688
BUF_SIZE	0	ibcq->res.kern_name	(-1),4,8-9
CAPPED_DATA	0	&ibcq->res	1
DATA_SOURCE	0	ibcq	$0
DATA_SOURCE	1	udata	$1
STR_LEN	0	ibcq->res.kern_name	(-1),3,7-8
CONTAINER	0	-440-8-0+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&smcibdev->mutex

drivers/infiniband/core/cq.c __ib_alloc_cq() -> (struct ib_device_ops)->destroy_cq()

Type	Parameter	Key	Value
PARAM_VALUE	0	ibcq	4096-ptr_max
PARAM_VALUE	0	ibcq->cq_context	4096-ptr_max
PARAM_VALUE	0	ibcq->device	4096-ptr_max
PARAM_VALUE	0	ibcq->device->ops.size_ib_cq	0-4000000
PARAM_VALUE	0	ibcq->dim	0,4096-ptr_max
PARAM_VALUE	0	ibcq->dim->work.lockdep_map->name	0-255
PARAM_VALUE	0	ibcq->poll_ctx	4-u32max
PARAM_VALUE	0	ibcq->res.comp.done	0
PARAM_VALUE	0	ibcq->res.comp.wait.lock.magic	3735899821
PARAM_VALUE	0	ibcq->res.comp.wait.lock.owner	(-1)
PARAM_VALUE	0	ibcq->res.comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	ibcq->res.comp.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	ibcq->res.comp.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	ibcq->res.comp.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	ibcq->res.comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ibcq->res.comp.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ibcq->res.kern_name	635726513953107968,8039347792360431616,8362067475038867456
PARAM_VALUE	0	ibcq->res.kref.refcount.refs.counter	1
PARAM_VALUE	0	ibcq->res.type	1
PARAM_VALUE	0	ibcq->usecnt.counter	0
PARAM_VALUE	0	ibcq->wc	4096-ptr_max
PARAM_VALUE	1	udata	0
BUF_SIZE	0	ibcq	s32min-s32max
BUF_SIZE	0	ibcq->cq_context	s32min-(-1),1-s32max
BUF_SIZE	0	ibcq->wc	1152
CAPPED_DATA	0	ibcq->dim	1
DATA_SOURCE	0	ibcq	r rdma_zalloc_obj
STR_LEN	0	ibcq->cq_context	(-1),7
STR_LEN	0	ibcq->device	(-1),6-12
CONTAINER	0	-440-8-0+0	$(-1)
BIT_INFO	0	ibcq->comp_vector	0x0,0x7fffffff
TERMINATED	0	ibcq->res.kern_name	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	ibcq->device->cc_dma_bounce	0-1
HOST_DATA	0	ibcq->device->client_data.xa_flags	0-u32max
HOST_DATA	0	ibcq->device->client_data_rwsem.osq.tail.counter	0-s32max
HOST_DATA	0	ibcq->device->compat_devs.xa_flags	0-u32max
HOST_DATA	0	ibcq->device->compat_devs_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	ibcq->device->compat_devs_mutex.owner.counter	s64min-s64max
HOST_DATA	0	ibcq->device->coredev.dev.bus_dma_limit	0-u64max
HOST_DATA	0	ibcq->device->coredev.dev.coherent_dma_mask	0-u64max
HOST_DATA	0	ibcq->device->coredev.dev.devt	0-u32max
HOST_DATA	0	ibcq->device->coredev.dev.dma_uses_io_tlb	0-1
HOST_DATA	0	ibcq->device->coredev.dev.id	0-u32max
HOST_DATA	0	ibcq->device->coredev.dev.kobj.kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	ibcq->device->coredev.dev.kobj.release.cpu	s32min-s32max
HOST_DATA	0	ibcq->device->coredev.dev.kobj.release.timer.expires	0-u64max
HOST_DATA	0	ibcq->device->coredev.dev.kobj.release.timer.flags	0-u32max
HOST_DATA	0	ibcq->device->coredev.dev.kobj.release.work.data.counter	s64min-s64max
HOST_DATA	0	ibcq->device->coredev.dev.kobj.state_add_uevent_sent	0-1
HOST_DATA	0	ibcq->device->coredev.dev.kobj.state_in_sysfs	0-1
HOST_DATA	0	ibcq->device->coredev.dev.kobj.state_initialized	0-1
HOST_DATA	0	ibcq->device->coredev.dev.kobj.state_remove_uevent_sent	0-1
HOST_DATA	0	ibcq->device->coredev.dev.kobj.uevent_suppress	0-1
HOST_DATA	0	ibcq->device->coredev.dev.links.status	0-u32max
HOST_DATA	0	ibcq->device->coredev.dev.mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	ibcq->device->coredev.dev.mutex.owner.counter	s64min-s64max
HOST_DATA	0	ibcq->device->coredev.dev.numa_node	s32min-s32max
HOST_DATA	0	ibcq->device->coredev.dev.power.accounting_timestamp	0-u64max
HOST_DATA	0	ibcq->device->coredev.dev.power.active_time	0-u64max
HOST_DATA	0	ibcq->device->coredev.dev.power.async_suspend	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.autosuspend_delay	s32min-s32max
HOST_DATA	0	ibcq->device->coredev.dev.power.can_wakeup	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.child_count.counter	s32min-s32max
HOST_DATA	0	ibcq->device->coredev.dev.power.completion.done	0-u32max
HOST_DATA	0	ibcq->device->coredev.dev.power.deferred_resume	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.detach_power_off	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.direct_complete	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.disable_depth	0-7
HOST_DATA	0	ibcq->device->coredev.dev.power.driver_flags	0-u32max
HOST_DATA	0	ibcq->device->coredev.dev.power.early_init	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.idle_notification	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.ignore_children	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.in_dpm_list	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.irq_safe	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.is_late_suspended	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.is_noirq_suspended	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.is_prepared	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.is_suspended	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.last_busy	0-u64max
HOST_DATA	0	ibcq->device->coredev.dev.power.last_status	s32min-s32max
HOST_DATA	0	ibcq->device->coredev.dev.power.links_count	0-u32max
HOST_DATA	0	ibcq->device->coredev.dev.power.may_skip_resume	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.memalloc_noio	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.must_resume	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.needs_force_resume	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.no_callbacks	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.no_pm	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.no_pm_callbacks	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.out_band_wakeup	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.power_state.event	s32min-s32max
HOST_DATA	0	ibcq->device->coredev.dev.power.request	0-u32max
HOST_DATA	0	ibcq->device->coredev.dev.power.request_pending	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.runtime_auto	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.runtime_error	s32min-s32max
HOST_DATA	0	ibcq->device->coredev.dev.power.runtime_status	s32min-s32max
HOST_DATA	0	ibcq->device->coredev.dev.power.smart_suspend	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.strict_midlayer	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.suspended_time	0-u64max
HOST_DATA	0	ibcq->device->coredev.dev.power.syscore	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.timer_autosuspends	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.timer_expires	0-u64max
HOST_DATA	0	ibcq->device->coredev.dev.power.usage_count.counter	s32min-s32max
HOST_DATA	0	ibcq->device->coredev.dev.power.use_autosuspend	0-1
HOST_DATA	0	ibcq->device->coredev.dev.power.work_in_progress	0-1
HOST_DATA	0	ibcq->device->coredev.dev.removable	0-u32max
HOST_DATA	0	ibcq->device->event_handler_rwsem.count.counter	s64min-s64max
HOST_DATA	0	ibcq->device->event_handler_rwsem.osq.tail.counter	s32min-s32max
HOST_DATA	0	ibcq->device->event_handler_rwsem.owner.counter	s64min-s64max
HOST_DATA	0	ibcq->device->hw_stats_attr_index	0-255
HOST_DATA	0	ibcq->device->is_switch	0-1
HOST_DATA	0	ibcq->device->iw_driver_flags	0-u32max
HOST_DATA	0	ibcq->device->lag_flags	0-u32max
HOST_DATA	0	ibcq->device->local_dma_lkey	0-u32max
HOST_DATA	0	ibcq->device->name_assign_type	0-u32max
HOST_DATA	0	ibcq->device->node_guid	0-u64max
HOST_DATA	0	ibcq->device->num_comp_vectors	s32min-(-1),1-s32max
HOST_DATA	0	ibcq->device->ops.driver_id	0-u32max
HOST_DATA	0	ibcq->device->ops.size_ib_ah	0-u64max
HOST_DATA	0	ibcq->device->ops.size_ib_counters	0-u64max
HOST_DATA	0	ibcq->device->ops.size_ib_cq	0-4000000
HOST_DATA	0	ibcq->device->ops.size_ib_dmah	0-u64max
HOST_DATA	0	ibcq->device->ops.size_ib_mw	0-u64max
HOST_DATA	0	ibcq->device->ops.size_ib_pd	0-u64max
HOST_DATA	0	ibcq->device->ops.size_ib_qp	0-u64max
HOST_DATA	0	ibcq->device->ops.size_ib_rwq_ind_table	0-u64max
HOST_DATA	0	ibcq->device->ops.size_ib_srq	0-u64max
HOST_DATA	0	ibcq->device->ops.size_ib_ucontext	0-u64max
HOST_DATA	0	ibcq->device->ops.size_ib_xrcd	0-u64max
HOST_DATA	0	ibcq->device->ops.size_rdma_counter	0-u64max
HOST_DATA	0	ibcq->device->ops.uverbs_abi_ver	0-u32max
HOST_DATA	0	ibcq->device->ops.uverbs_no_driver_id_binding	0-1
HOST_DATA	0	ibcq->device->ops.uverbs_robust_udata	0-1
HOST_DATA	0	ibcq->device->phys_port_cnt	0-u32max
HOST_DATA	0	ibcq->device->subdev_lock.osq.tail.counter	s32min-s32max
HOST_DATA	0	ibcq->device->subdev_lock.owner.counter	s64min-s64max
HOST_DATA	0	ibcq->device->type	0-u32max
HOST_DATA	0	ibcq->device->unreg_completion.done	0-u32max
HOST_DATA	0	ibcq->device->unreg_completion.wait.lock.magic	0-u32max
HOST_DATA	0	ibcq->device->unreg_completion.wait.lock.owner_cpu	0-u32max
HOST_DATA	0	ibcq->device->unreg_completion.wait.lock.raw_lock.locked	0-255
HOST_DATA	0	ibcq->device->unreg_completion.wait.lock.raw_lock.locked_pending	0-u16max
HOST_DATA	0	ibcq->device->unreg_completion.wait.lock.raw_lock.pending	0-255
HOST_DATA	0	ibcq->device->unreg_completion.wait.lock.raw_lock.tail	0-u16max
HOST_DATA	0	ibcq->device->unreg_completion.wait.lock.raw_lock.val.counter	s32min-s32max
HOST_DATA	0	ibcq->device->unregistration_lock.osq.tail.counter	s32min-s32max
HOST_DATA	0	ibcq->device->unregistration_lock.owner.counter	s64min-s64max
HOST_DATA	0	ibcq->device->unregistration_work.data.counter	s64min-s64max
HOST_DATA	0	ibcq->device->use_cq_dim	0-1
HOST_DATA	0	ibcq->device->uverbs_cmd_mask	0,2097152-u64max
NO_OVERFLOW_SIMPLE	0	ibcq->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE	0	ibcq->device->num_comp_vectors
HALF_LOCKED2		&pool->lock

drivers/infiniband/core/cq.c ib_free_cq() -> (struct ib_device_ops)->destroy_cq()

Type	Parameter	Key	Value
PARAM_VALUE	0	ibcq	4096-ptr_max
PARAM_VALUE	0	ibcq->cqe_used	0
PARAM_VALUE	0	ibcq->device	4096-ptr_max
PARAM_VALUE	0	ibcq->device->ops.post_destroy_cq	0
PARAM_VALUE	0	ibcq->dim	0,4096-ptr_max
PARAM_VALUE	0	ibcq->dim->work.lockdep_map->name	0-255
PARAM_VALUE	0	ibcq->usecnt.counter	0
PARAM_VALUE	1	udata	0
CAPPED_DATA	0	ibcq->dim	1
CAPPED_DATA	0	&ibcq->res	1
DATA_SOURCE	0	ibcq	$0
CONTAINER	0	-440-8-0+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	ibcq->cqe_used
HALF_LOCKED2		&dev->umrc.init_lock
HALF_LOCKED2		&dev->unregistration_lock
HALF_LOCKED2		&device->client_data_rwsem
HALF_LOCKED2		global &clients_rwsem
HALF_LOCKED2		global &devices_rwsem