Defined in 3 files as a member:

Defined in 2 files as a function:

Referenced in 30 files:

Smatch caller information:

drivers/infiniband/ulp/rtrs/rtrs.c rtrs_cq_qp_create() -> destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->cid 0-4294967294
PARAM_VALUE 0 rdev->cm_id 4096-ptr_max
PARAM_VALUE 0 rdev->cm_id->device->cq_pools_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdev->cq 0-ptr_max
PARAM_VALUE 0 rdev->path 4096-ptr_max
PARAM_VALUE 0 rdev->path->irq_con_num 1-u32max
CAPPED_DATA 0 rdev->cid 1
CAPPED_DATA 0 rdev->path->irq_con_num 1
DATA_SOURCE 0 rdev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rdev->cq->cqe_used
NO_OVERFLOW_SIMPLE 0 rdev->nr_cqe
HALF_LOCKED2 &con->con_mutex
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex
HALF_LOCKED2 &srv->paths_mutex

drivers/infiniband/ulp/rtrs/rtrs.c rtrs_cq_qp_destroy() -> destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->qp 0
DATA_SOURCE 0 rdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rdev->nr_cqe
HALF_LOCKED2 &con->con_mutex
HALF_LOCKED2 &srv->paths_mutex

drivers/infiniband/hw/cxgb4/cq.c c4iw_create_cq() -> destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->stats.lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rdev->stats.qid.max 1-u64max
PARAM_VALUE 1 cq 4096-ptr_max
PARAM_VALUE 1 cq->bar2_va 0,4096-ptr_max
PARAM_VALUE 1 cq->cqid 1-u32max
PARAM_VALUE 1 cq->gen 1
PARAM_VALUE 1 cq->qp_errp 4096-ptr_max
PARAM_VALUE 1 cq->queue 4096-ptr_max
PARAM_VALUE 1 cq->rdev 4096-ptr_max
PARAM_VALUE 1 cq->sw_queue 0,16,4096-ptr_max
PARAM_VALUE 1 cq->vector s32min-65534
PARAM_VALUE 2 uctx 4096-ptr_max
PARAM_VALUE 3 skb 4096-ptr_max
PARAM_VALUE 4 wr_waitp 4096-ptr_max
PARAM_VALUE 4 wr_waitp->completion.done 0-4294967293,u32max
PARAM_VALUE 4 wr_waitp->completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 4 wr_waitp->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 4 wr_waitp->completion.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 4 wr_waitp->completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 4 wr_waitp->completion.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 4 wr_waitp->completion.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 4 wr_waitp->ret (-5),0
BUF_SIZE 3 skb 64
BUF_SIZE 3 skb 64
BUF_SIZE 4 wr_waitp 104
CAPPED_DATA 4 wr_waitp 1
DATA_SOURCE 3 skb r alloc_skb
DATA_SOURCE 4 wr_waitp r c4iw_alloc_wr_wait
NOSPEC 1 cq->vector
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 cq->vector 1-65534[c]
USER_PTR 3 skb->data

drivers/infiniband/hw/cxgb4/cq.c c4iw_destroy_cq() -> destroy_cq()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 cq 4096-ptr_max
PARAM_VALUE 2 uctx 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

Smatch assignments to (struct ib_device_ops)->destroy_cq:

drivers/infiniband/hw/mthca/mthca_provider.c (null)() -> (struct ib_device_ops)->destroy_cq [0,4783140471645175808]

drivers/infiniband/hw/hfi1/debugfs.c _qp_stats_seq_start() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/hns/hns_roce_main.c (null)() -> (struct ib_device_ops)->destroy_cq [0,8620224012220493824]

drivers/infiniband/hw/mthca/mthca_main.c __mthca_init_one() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/hw/mthca/mthca_main.c mthca_setup_hca() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_alloc_pd() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_alloc_uar() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_attach_detach_event_counter() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_create_ah() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_create_cq() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_create_event_counter() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_create_qp() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_dealloc_pd() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_dealloc_uar() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_dereg_mr() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_destroy_ah() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_destroy_cq() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_destroy_event_counter() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_destroy_qp() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_get_device_attr() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_get_feature_ex() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_get_hw_hints() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_get_stats() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_modify_event_counter() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_modify_qp() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_query_qp() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_register_mr() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_set_aenq_config() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com_cmd.c efa_com_set_feature_ex() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/mlx5/odp.c (null)() -> (struct ib_device_ops)->destroy_cq [0]

drivers/infiniband/hw/mlx5/dm.c (null)() -> (struct ib_device_ops)->destroy_cq [0]

drivers/infiniband/hw/cxgb4/provider.c (null)() -> (struct ib_device_ops)->destroy_cq [2848928192015515648]

drivers/infiniband/hw/hfi1/verbs.c (null)() -> (struct ib_device_ops)->destroy_cq [0]

drivers/infiniband/hw/irdma/icrdma_if.c icrdma_lan_register_qset() -> (struct ib_device_ops)->destroy_cq [ignore]

drivers/infiniband/hw/irdma/icrdma_if.c icrdma_lan_unregister_qset() -> (struct ib_device_ops)->destroy_cq [ignore]

drivers/infiniband/hw/mlx5/dmah.c (null)() -> (struct ib_device_ops)->destroy_cq [0]

drivers/infiniband/hw/erdma/erdma_main.c (null)() -> (struct ib_device_ops)->destroy_cq [0,8141589955310989312]

drivers/infiniband/hw/erdma/erdma_main.c erdma_comm_irq_handler() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/mana/device.c (null)() -> (struct ib_device_ops)->destroy_cq [0,2325988193558007808]

drivers/infiniband/sw/rdmavt/vt.c (null)() -> (struct ib_device_ops)->destroy_cq [672071090475597824]

drivers/infiniband/hw/efa/efa_main.c (null)() -> (struct ib_device_ops)->destroy_cq [7032468883126644736]

drivers/infiniband/hw/efa/efa_main.c efa_intr_msix_mgmnt() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/mlx5/counters.c (null)() -> (struct ib_device_ops)->destroy_cq [0]

drivers/infiniband/core/device.c _ib_alloc_device() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/core/device.c ib_device_release() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/hw/mlx4/main.c (null)() -> (struct ib_device_ops)->destroy_cq [0,1244510753357680640]

drivers/infiniband/hw/mlx4/main.c mlx4_ib_probe() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/hw/ocrdma/ocrdma_main.c (null)() -> (struct ib_device_ops)->destroy_cq [0,8512400678978629632]

drivers/infiniband/hw/vmw_pvrdma/pvrdma_main.c (null)() -> (struct ib_device_ops)->destroy_cq [0,3085572886226485248]

drivers/infiniband/hw/vmw_pvrdma/pvrdma_main.c pvrdma_intr0_handler() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/vmw_pvrdma/pvrdma_main.c pvrdma_intr1_handler() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/vmw_pvrdma/pvrdma_main.c pvrdma_intrx_handler() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/mthca/mthca_eq.c mthca_arbel_interrupt() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/mthca/mthca_eq.c mthca_init_eq_table() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/hw/mthca/mthca_eq.c mthca_tavor_interrupt() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/sw/siw/siw_main.c (null)() -> (struct ib_device_ops)->destroy_cq [8827217242284027904]

drivers/infiniband/hw/mlx5/main.c (null)() -> (struct ib_device_ops)->destroy_cq [0,8641394310999158784]

drivers/infiniband/hw/hfi1/init.c hfi1_alloc_devdata() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/hw/hfi1/init.c init_one() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/hw/hfi1/init.c remove_one() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/hw/mlx5/restrack.c (null)() -> (struct ib_device_ops)->destroy_cq [0]

drivers/infiniband/hw/ionic/ionic_ibdev.c (null)() -> (struct ib_device_ops)->destroy_cq [2681890506548338688]

drivers/infiniband/core/ucma.c ucma_init_qp_attr() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/hw/usnic/usnic_ib_main.c (null)() -> (struct ib_device_ops)->destroy_cq [3111884108158144512]

drivers/infiniband/hw/usnic/usnic_ib_main.c usnic_ib_discover_pf() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/ionic/ionic_hw_stats.c (null)() -> (struct ib_device_ops)->destroy_cq [0]

drivers/infiniband/hw/bnxt_re/main.c (null)() -> (struct ib_device_ops)->destroy_cq [0,1008448672700534784]

drivers/infiniband/hw/bnxt_re/debugfs.c info_show() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/sw/rxe/rxe.c (null)() -> (struct ib_device_ops)->destroy_cq [0]

drivers/infiniband/hw/cxgb4/device.c ep_open() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/cxgb4/device.c qp_open() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/cxgb4/device.c stag_open() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/cxgb4/device.c stats_show() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/cxgb4/device.c wr_log_show() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/mlx5/fs.c (null)() -> (struct ib_device_ops)->destroy_cq [0]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c (null)() -> (struct ib_device_ops)->destroy_cq [0]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c __hns_roce_hw_v2_init_instance() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c __hns_roce_hw_v2_uninit_instance() -> (struct ib_device_ops)->destroy_cq [ignore]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c hns_roce_bond_init_client() -> (struct ib_device_ops)->destroy_cq [ignore]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c hns_roce_hw_v2_reset_notify_down() -> (struct ib_device_ops)->destroy_cq [ignore]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c hns_roce_v2_create_eq() -> (struct ib_device_ops)->destroy_cq [min-max]

drivers/infiniband/hw/hns/hns_roce_hw_v2.c hns_roce_v2_msix_interrupt_abn() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/irdma/verbs.c (null)() -> (struct ib_device_ops)->destroy_cq [0,8207593230347460608]

net/devlink/port.c __devlink_port_type_set() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/hns/hns_roce_debugfs.c sw_stat_debugfs_show() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/qedr/main.c (null)() -> (struct ib_device_ops)->destroy_cq [0,8949514149627854848]

drivers/infiniband/hw/hfi1/chip.c access_sw_cpu_intr() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/hfi1/chip.c access_sw_cpu_rcv_limit() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/hfi1/chip.c access_sw_ctx0_seq_drop() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/hfi1/chip.c access_sw_kmem_wait() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/hfi1/chip.c access_sw_pio_wait() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/hfi1/chip.c access_sw_vtx_wait() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/hfi1/chip.c dc_access_lcb_cntr() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/hfi1/chip.c dev_access_u32_csr() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/hfi1/chip.c dev_access_u64_csr() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/hfi1/chip.c general_interrupt() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/sw/rxe/rxe_verbs.c (null)() -> (struct ib_device_ops)->destroy_cq [5613659171784335360]

drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_access_sw_tid_wait() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_admin_init() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_admin_init_aenq() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_alloc_comp_ctx() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_cmd_exec() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_cqe_checksum_valid() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_create_eq() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_dealloc_comp_ctx() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_destroy_eq() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_dev_reset() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_get_dma_width() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_handle_single_admin_completion() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_reg_read32() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_submit_admin_cmd() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_validate_version() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_wait_and_process_admin_cq_interrupts() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c efa_com_wait_and_process_admin_cq_polling() -> (struct ib_device_ops)->destroy_cq [0-u64max]

drivers/infiniband/hw/efa/efa_com.c wait_for_reset_state() -> (struct ib_device_ops)->destroy_cq [0-u64max]