Documented in 1 files:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

net/rds/ib_cm.c rds_ib_conn_path_shutdown() -> ib_destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/rds/ib_cm.c rds_ib_conn_path_shutdown() -> ib_destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/rds/ib_cm.c rds_ib_setup_qp() -> ib_destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 4096-ptr_max
PARAM_VALUE 0 cq->comp_handler 5339094045573472256
PARAM_VALUE 0 cq->cq_context 4096-ptr_max
PARAM_VALUE 0 cq->device 4096-ptr_max
PARAM_VALUE 0 cq->device->ops.size_ib_cq 0-4000000
PARAM_VALUE 0 cq->event_handler 2892904671980433408
PARAM_VALUE 0 cq->res.comp.done 0
PARAM_VALUE 0 cq->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 cq->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 cq->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 cq->res.kern_name 721450307168702464
PARAM_VALUE 0 cq->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 cq->res.type 1
PARAM_VALUE 0 cq->usecnt.counter 0
BUF_SIZE 0 cq s32min-s32max
BUF_SIZE 0 cq->cq_context s32min-(-1),1-s32max
BUF_SIZE 0 cq->res.kern_name 9
DATA_SOURCE 0 cq r __ib_create_cq
STR_LEN 0 cq->res.kern_name 8
TERMINATED 0 cq->res.kern_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

net/rds/ib_cm.c rds_ib_setup_qp() -> ib_destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 4096-ptr_max
PARAM_VALUE 0 cq->comp_handler 6821595928427311104
PARAM_VALUE 0 cq->cq_context 4096-ptr_max
PARAM_VALUE 0 cq->device 4096-ptr_max
PARAM_VALUE 0 cq->device->ops.req_notify_cq 4096-ptr_max
PARAM_VALUE 0 cq->device->ops.size_ib_cq 0-4000000
PARAM_VALUE 0 cq->event_handler 2892904671980433408
PARAM_VALUE 0 cq->res.comp.done 0
PARAM_VALUE 0 cq->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 cq->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 cq->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 cq->res.kern_name 721450307168702464
PARAM_VALUE 0 cq->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 cq->res.type 1
PARAM_VALUE 0 cq->usecnt.counter 0
BUF_SIZE 0 cq s32min-s32max
BUF_SIZE 0 cq->cq_context s32min-(-1),1-s32max
BUF_SIZE 0 cq->res.kern_name 9
DATA_SOURCE 0 cq r __ib_create_cq
STR_LEN 0 cq->res.kern_name 8
TERMINATED 0 cq->res.kern_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cq->comp_handler 6959967151526006784,8779741972702699520
PARAM_VALUE 0 cq->cq_context 4096-ptr_max
PARAM_VALUE 0 cq->device 4096-ptr_max
PARAM_VALUE 0 cq->device->ops.req_notify_cq 4096-ptr_max
PARAM_VALUE 0 cq->device->ops.size_ib_cq 0-4000000
PARAM_VALUE 0 cq->event_handler 0
PARAM_VALUE 0 cq->res.comp.done 0
PARAM_VALUE 0 cq->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 cq->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 cq->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 cq->res.kern_name 4864334747044499456
PARAM_VALUE 0 cq->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 cq->res.type 1
PARAM_VALUE 0 cq->usecnt.counter 0
BUF_SIZE 0 cq s32min-s32max
BUF_SIZE 0 cq->res.kern_name (-1),8
STR_LEN 0 cq->res.kern_name (-1),7
TERMINATED 0 cq->res.kern_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mlx4/mad.c destroy_pv_resources() -> ib_destroy_cq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mlx4/mad.c mlx4_ib_free_sqp_ctx() -> ib_destroy_cq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/ipoib/ipoib_verbs.c ipoib_transport_dev_cleanup() -> ib_destroy_cq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock

drivers/infiniband/ulp/ipoib/ipoib_verbs.c ipoib_transport_dev_cleanup() -> ib_destroy_cq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock

drivers/infiniband/ulp/ipoib/ipoib_verbs.c ipoib_transport_dev_init() -> ib_destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 4096-ptr_max
PARAM_VALUE 0 cq->comp_handler 6258559940472328192
PARAM_VALUE 0 cq->cq_context 4096-ptr_max
PARAM_VALUE 0 cq->device 4096-ptr_max
PARAM_VALUE 0 cq->device->ops.size_ib_cq 0-4000000
PARAM_VALUE 0 cq->event_handler 0
PARAM_VALUE 0 cq->res.comp.done 0
PARAM_VALUE 0 cq->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 cq->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 cq->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 cq->res.kern_name 3889380589504172032
PARAM_VALUE 0 cq->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 cq->res.type 1
PARAM_VALUE 0 cq->usecnt.counter 0
BUF_SIZE 0 cq s32min-s32max
BUF_SIZE 0 cq->cq_context 9688
BUF_SIZE 0 cq->res.kern_name 9
DATA_SOURCE 0 cq r __ib_create_cq
STR_LEN 0 cq->res.kern_name 8
TERMINATED 0 cq->res.kern_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/ipoib/ipoib_verbs.c ipoib_transport_dev_init() -> ib_destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 4096-ptr_max
PARAM_VALUE 0 cq->comp_handler 8237770934472265728
PARAM_VALUE 0 cq->cq_context 4096-ptr_max
PARAM_VALUE 0 cq->device 4096-ptr_max
PARAM_VALUE 0 cq->device->ops.req_notify_cq 4096-ptr_max
PARAM_VALUE 0 cq->device->ops.size_ib_cq 0-4000000
PARAM_VALUE 0 cq->event_handler 0
PARAM_VALUE 0 cq->res.comp.done 0
PARAM_VALUE 0 cq->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 cq->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 cq->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 cq->res.kern_name 3889380589504172032
PARAM_VALUE 0 cq->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 cq->res.type 1
PARAM_VALUE 0 cq->usecnt.counter 0
BUF_SIZE 0 cq s32min-s32max
BUF_SIZE 0 cq->cq_context 9688
BUF_SIZE 0 cq->res.kern_name 9
DATA_SOURCE 0 cq r __ib_create_cq
STR_LEN 0 cq->res.kern_name 8
TERMINATED 0 cq->res.kern_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mlx4/main.c mlx4_ib_dealloc_xrcd() -> ib_destroy_cq()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &attrs->ufile->device->xrcd_tree_mutex
HALF_LOCKED2 &ibudev->xrcd_tree_mutex
TYPE_LOCK (struct ib_uverbs_device)->xrcd_tree_mutex

drivers/infiniband/hw/mlx5/main.c mlx5_ib_dev_res_cleanup() -> ib_destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 1-u64max
NOCHECK_CALL

fs/smb/smbdirect/connection.c smbdirect_connection_destroy_qp() -> ib_destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex

fs/smb/smbdirect/connection.c smbdirect_connection_destroy_qp() -> ib_destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex

net/smc/smc_ib.c smc_ib_cleanup_per_ibdev() -> ib_destroy_cq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &smcibdev->mutex
HALF_LOCKED2 &ibdev->unregistration_lock
TYPE_LOCK (struct smc_ib_device)->mutex

net/smc/smc_ib.c smc_ib_cleanup_per_ibdev() -> ib_destroy_cq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &smcibdev->mutex
HALF_LOCKED2 &ibdev->unregistration_lock
TYPE_LOCK (struct smc_ib_device)->mutex

net/smc/smc_ib.c smc_ib_setup_per_ibdev() -> ib_destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 cq 4096-ptr_max
PARAM_VALUE 0 cq->comp_handler 2501384249698336768
PARAM_VALUE 0 cq->cq_context 4096-ptr_max
PARAM_VALUE 0 cq->device 4096-ptr_max
PARAM_VALUE 0 cq->device->ops.size_ib_cq 0-4000000
PARAM_VALUE 0 cq->event_handler 0
PARAM_VALUE 0 cq->res.comp.done 0
PARAM_VALUE 0 cq->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 cq->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 cq->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cq->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 cq->res.kern_name 4070348433790021632
PARAM_VALUE 0 cq->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 cq->res.type 1
PARAM_VALUE 0 cq->usecnt.counter 0
BUF_SIZE 0 cq s32min-s32max
BUF_SIZE 0 cq->res.kern_name 4
DATA_SOURCE 0 cq r __ib_create_cq
STR_LEN 0 cq->res.kern_name 3
TERMINATED 0 cq->res.kern_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &smcibdev->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct smc_ib_device)->mutex