Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/bnxt_re/main.c bnxt_re_dev_stop() -> bnxt_re_dispatch_event()

Type Parameter Key Value
PARAM_VALUE 0 ibdev 4096-ptr_max
PARAM_VALUE 1 qp 4096-ptr_max
PARAM_VALUE 1 qp->qp_type 0,2-u32max
PARAM_VALUE 2 port_num 1
PARAM_VALUE 3 event 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rdev->qp_lock
LOCK2 global &bnxt_re_mutex
HALF_LOCKED2 &bp->auxdev_lock
HALF_LOCKED2 &dev->intf_state_mutex
HALF_LOCKED2 &edev->en_dev_lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct bnxt_re_dev)->qp_lock

drivers/infiniband/hw/bnxt_re/main.c bnxt_re_ib_init() -> bnxt_re_dispatch_event()

Type Parameter Key Value
PARAM_VALUE 0 ibdev 4096-ptr_max
PARAM_VALUE 0 ibdev->cc_dma_bounce 1
PARAM_VALUE 0 ibdev->cg_device.rpools.next 4096-ptr_max
PARAM_VALUE 0 ibdev->cg_device.rpools.prev 4096-ptr_max
PARAM_VALUE 0 ibdev->client_data_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 ibdev->coredev.port_list.prev 4096-ptr_max
PARAM_VALUE 0 ibdev->dev.kobj.entry.prev 4096-ptr_max
PARAM_VALUE 0 ibdev->dev.kobj.name 1-u64max
PARAM_VALUE 0 ibdev->dev.p 0,4096-ptr_max
PARAM_VALUE 0 ibdev->dev.parent 4096-ptr_max
PARAM_VALUE 0 ibdev->dev.power.completion.done u32max
PARAM_VALUE 0 ibdev->dev.power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 ibdev->dev.power.qos 0,(-19)
PARAM_VALUE 0 ibdev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ibdev->dev.power.runtime_status 2
PARAM_VALUE 0 ibdev->dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 ibdev->driver_def 4653625593916162048
PARAM_VALUE 0 ibdev->hw_stats_attr_index 0-3
PARAM_VALUE 0 ibdev->hw_stats_data 4096-ptr_max
PARAM_VALUE 0 ibdev->local_dma_lkey u32max
PARAM_VALUE 0 ibdev->node_guid 0-255
PARAM_VALUE 0 ibdev->node_type 1
PARAM_VALUE 0 ibdev->num_comp_vectors 1-65534
PARAM_VALUE 0 ibdev->ops.add_gid 1-u64max
PARAM_VALUE 0 ibdev->ops.add_sub_dev 1-u64max
PARAM_VALUE 0 ibdev->ops.advise_mr 1-u64max
PARAM_VALUE 0 ibdev->ops.alloc_dm 1-u64max
PARAM_VALUE 0 ibdev->ops.alloc_dmah 1-u64max
PARAM_VALUE 0 ibdev->ops.alloc_hw_device_stats 1-u64max
PARAM_VALUE 0 ibdev->ops.alloc_hw_port_stats 1-u64max
PARAM_VALUE 0 ibdev->ops.alloc_mr 1-u64max
PARAM_VALUE 0 ibdev->ops.alloc_mr_integrity 1-u64max
PARAM_VALUE 0 ibdev->ops.alloc_mw 1-u64max
PARAM_VALUE 0 ibdev->ops.alloc_pd 1-u64max
PARAM_VALUE 0 ibdev->ops.alloc_rdma_netdev 1-u64max
PARAM_VALUE 0 ibdev->ops.alloc_ucontext 1-u64max
PARAM_VALUE 0 ibdev->ops.alloc_xrcd 1-u64max
PARAM_VALUE 0 ibdev->ops.attach_mcast 1-u64max
PARAM_VALUE 0 ibdev->ops.check_mr_status 1-u64max
PARAM_VALUE 0 ibdev->ops.counter_alloc_stats 1-u64max
PARAM_VALUE 0 ibdev->ops.counter_bind_qp 1-u64max
PARAM_VALUE 0 ibdev->ops.counter_dealloc 1-u64max
PARAM_VALUE 0 ibdev->ops.counter_init 1-u64max
PARAM_VALUE 0 ibdev->ops.counter_unbind_qp 1-u64max
PARAM_VALUE 0 ibdev->ops.counter_update_stats 1-u64max
PARAM_VALUE 0 ibdev->ops.create_ah 1-u64max
PARAM_VALUE 0 ibdev->ops.create_comp_cntr 1-u64max
PARAM_VALUE 0 ibdev->ops.create_counters 1-u64max
PARAM_VALUE 0 ibdev->ops.create_cq 1-u64max
PARAM_VALUE 0 ibdev->ops.create_flow 1-u64max
PARAM_VALUE 0 ibdev->ops.create_qp 1-u64max
PARAM_VALUE 0 ibdev->ops.create_rwq_ind_table 1-u64max
PARAM_VALUE 0 ibdev->ops.create_srq 1-u64max
PARAM_VALUE 0 ibdev->ops.create_user_ah 1-u64max
PARAM_VALUE 0 ibdev->ops.create_user_cq 1-u64max
PARAM_VALUE 0 ibdev->ops.create_wq 1-u64max
PARAM_VALUE 0 ibdev->ops.dealloc_dm 1-u64max
PARAM_VALUE 0 ibdev->ops.dealloc_dmah 1-u64max
PARAM_VALUE 0 ibdev->ops.dealloc_mw 1-u64max
PARAM_VALUE 0 ibdev->ops.dealloc_pd 1-u64max
PARAM_VALUE 0 ibdev->ops.dealloc_ucontext 1-u64max
PARAM_VALUE 0 ibdev->ops.dealloc_xrcd 1-u64max
PARAM_VALUE 0 ibdev->ops.del_gid 1-u64max
PARAM_VALUE 0 ibdev->ops.del_sub_dev 1-u64max
PARAM_VALUE 0 ibdev->ops.dereg_mr 1-u64max
PARAM_VALUE 0 ibdev->ops.destroy_ah 1-u64max
PARAM_VALUE 0 ibdev->ops.destroy_comp_cntr 1-u64max
PARAM_VALUE 0 ibdev->ops.destroy_counters 1-u64max
PARAM_VALUE 0 ibdev->ops.destroy_cq 1-u64max
PARAM_VALUE 0 ibdev->ops.destroy_flow 1-u64max
PARAM_VALUE 0 ibdev->ops.destroy_flow_action 1-u64max
PARAM_VALUE 0 ibdev->ops.destroy_qp 1-u64max
PARAM_VALUE 0 ibdev->ops.destroy_rwq_ind_table 1-u64max
PARAM_VALUE 0 ibdev->ops.destroy_srq 1-u64max
PARAM_VALUE 0 ibdev->ops.destroy_wq 1-u64max
PARAM_VALUE 0 ibdev->ops.detach_mcast 1-u64max
PARAM_VALUE 0 ibdev->ops.device_group 1-u64max
PARAM_VALUE 0 ibdev->ops.disassociate_ucontext 1-u64max
PARAM_VALUE 0 ibdev->ops.drain_rq 1-u64max
PARAM_VALUE 0 ibdev->ops.drain_sq 1-u64max
PARAM_VALUE 0 ibdev->ops.driver_id 1-u32max
PARAM_VALUE 0 ibdev->ops.enable_driver 1-u64max
PARAM_VALUE 0 ibdev->ops.fill_res_cm_id_entry 1-u64max
PARAM_VALUE 0 ibdev->ops.fill_res_cq_entry 1-u64max
PARAM_VALUE 0 ibdev->ops.fill_res_cq_entry_raw 1-u64max
PARAM_VALUE 0 ibdev->ops.fill_res_mr_entry 1-u64max
PARAM_VALUE 0 ibdev->ops.fill_res_mr_entry_raw 1-u64max
PARAM_VALUE 0 ibdev->ops.fill_res_qp_entry 1-u64max
PARAM_VALUE 0 ibdev->ops.fill_res_qp_entry_raw 1-u64max
PARAM_VALUE 0 ibdev->ops.fill_res_srq_entry 1-u64max
PARAM_VALUE 0 ibdev->ops.fill_res_srq_entry_raw 1-u64max
PARAM_VALUE 0 ibdev->ops.fill_stat_mr_entry 1-u64max
PARAM_VALUE 0 ibdev->ops.get_dev_fw_str 1-u64max
PARAM_VALUE 0 ibdev->ops.get_dma_mr 1-u64max
PARAM_VALUE 0 ibdev->ops.get_hw_stats 1-u64max
PARAM_VALUE 0 ibdev->ops.get_link_layer 1-u64max
PARAM_VALUE 0 ibdev->ops.get_netdev 1-u64max
PARAM_VALUE 0 ibdev->ops.get_numa_node 1-u64max
PARAM_VALUE 0 ibdev->ops.get_port_immutable 1-u64max
PARAM_VALUE 0 ibdev->ops.get_vf_config 1-u64max
PARAM_VALUE 0 ibdev->ops.get_vf_guid 1-u64max
PARAM_VALUE 0 ibdev->ops.get_vf_stats 1-u64max
PARAM_VALUE 0 ibdev->ops.iw_accept 1-u64max
PARAM_VALUE 0 ibdev->ops.iw_add_ref 1-u64max
PARAM_VALUE 0 ibdev->ops.iw_connect 1-u64max
PARAM_VALUE 0 ibdev->ops.iw_create_listen 1-u64max
PARAM_VALUE 0 ibdev->ops.iw_destroy_listen 1-u64max
PARAM_VALUE 0 ibdev->ops.iw_get_qp 1-u64max
PARAM_VALUE 0 ibdev->ops.iw_reject 1-u64max
PARAM_VALUE 0 ibdev->ops.iw_rem_ref 1-u64max
PARAM_VALUE 0 ibdev->ops.map_mr_sg 1-u64max
PARAM_VALUE 0 ibdev->ops.map_mr_sg_pi 1-u64max
PARAM_VALUE 0 ibdev->ops.mmap 1-u64max
PARAM_VALUE 0 ibdev->ops.mmap_free 1-u64max
PARAM_VALUE 0 ibdev->ops.mmap_get_pfns 1-u64max
PARAM_VALUE 0 ibdev->ops.modify_ah 1-u64max
PARAM_VALUE 0 ibdev->ops.modify_comp_cntr 1-u64max
PARAM_VALUE 0 ibdev->ops.modify_cq 1-u64max
PARAM_VALUE 0 ibdev->ops.modify_device 1-u64max
PARAM_VALUE 0 ibdev->ops.modify_hw_stat 1-u64max
PARAM_VALUE 0 ibdev->ops.modify_port 1-u64max
PARAM_VALUE 0 ibdev->ops.modify_qp 1-u64max
PARAM_VALUE 0 ibdev->ops.modify_srq 1-u64max
PARAM_VALUE 0 ibdev->ops.modify_wq 1-u64max
PARAM_VALUE 0 ibdev->ops.owner 1-u64max
PARAM_VALUE 0 ibdev->ops.peek_cq 1-u64max
PARAM_VALUE 0 ibdev->ops.pgoff_to_mmap_entry 1-u64max
PARAM_VALUE 0 ibdev->ops.poll_cq 1-u64max
PARAM_VALUE 0 ibdev->ops.port_groups 1-u64max
PARAM_VALUE 0 ibdev->ops.post_destroy_cq 1-u64max
PARAM_VALUE 0 ibdev->ops.post_recv 1-u64max
PARAM_VALUE 0 ibdev->ops.post_send 1-u64max
PARAM_VALUE 0 ibdev->ops.post_srq_recv 1-u64max
PARAM_VALUE 0 ibdev->ops.pre_destroy_cq 1-u64max
PARAM_VALUE 0 ibdev->ops.process_mad 1-u64max
PARAM_VALUE 0 ibdev->ops.qp_attach_comp_cntr 1-u64max
PARAM_VALUE 0 ibdev->ops.query_ah 1-u64max
PARAM_VALUE 0 ibdev->ops.query_comp_cntr_caps 1-u64max
PARAM_VALUE 0 ibdev->ops.query_device 1-u64max
PARAM_VALUE 0 ibdev->ops.query_gid 1-u64max
PARAM_VALUE 0 ibdev->ops.query_pkey 1-u64max
PARAM_VALUE 0 ibdev->ops.query_port 1-u64max
PARAM_VALUE 0 ibdev->ops.query_port_speed 1-u64max
PARAM_VALUE 0 ibdev->ops.query_qp 1-u64max
PARAM_VALUE 0 ibdev->ops.query_srq 1-u64max
PARAM_VALUE 0 ibdev->ops.query_ucontext 1-u64max
PARAM_VALUE 0 ibdev->ops.rdma_netdev_get_params 1-u64max
PARAM_VALUE 0 ibdev->ops.read_comp_cntr 1-u64max
PARAM_VALUE 0 ibdev->ops.read_counters 1-u64max
PARAM_VALUE 0 ibdev->ops.reg_dm_mr 1-u64max
PARAM_VALUE 0 ibdev->ops.reg_user_mr 1-u64max
PARAM_VALUE 0 ibdev->ops.reg_user_mr_dmabuf 1-u64max
PARAM_VALUE 0 ibdev->ops.report_port_event 1-u64max
PARAM_VALUE 0 ibdev->ops.req_notify_cq 1-u64max
PARAM_VALUE 0 ibdev->ops.rereg_user_mr 1-u64max
PARAM_VALUE 0 ibdev->ops.resize_user_cq 1-u64max
PARAM_VALUE 0 ibdev->ops.set_vf_guid 1-u64max
PARAM_VALUE 0 ibdev->ops.set_vf_link_state 1-u64max
PARAM_VALUE 0 ibdev->ops.size_ib_ah 1-u64max
PARAM_VALUE 0 ibdev->ops.size_ib_comp_cntr 1-u64max
PARAM_VALUE 0 ibdev->ops.size_ib_counters 1-u64max
PARAM_VALUE 0 ibdev->ops.size_ib_cq 1-u64max
PARAM_VALUE 0 ibdev->ops.size_ib_dmah 1-u64max
PARAM_VALUE 0 ibdev->ops.size_ib_mw 1-u64max
PARAM_VALUE 0 ibdev->ops.size_ib_qp 1-u64max
PARAM_VALUE 0 ibdev->ops.size_ib_rwq_ind_table 1-u64max
PARAM_VALUE 0 ibdev->ops.size_ib_srq 1-u64max
PARAM_VALUE 0 ibdev->ops.size_ib_ucontext 1-u64max
PARAM_VALUE 0 ibdev->ops.size_ib_xrcd 1-u64max
PARAM_VALUE 0 ibdev->ops.size_rdma_counter 1-u64max
PARAM_VALUE 0 ibdev->ops.ufile_hw_cleanup 1-u64max
PARAM_VALUE 0 ibdev->ops.uverbs_abi_ver 1-u32max
PARAM_VALUE 0 ibdev->phys_port_cnt 1
PARAM_VALUE 0 ibdev->subdev_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ibdev->unreg_completion.wait.lock.owner (-1)
PARAM_VALUE 0 ibdev->unreg_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ibdev->unregistration_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ibdev->uverbs_cmd_mask 0,2097152-u64max
PARAM_VALUE 1 qp 0
PARAM_VALUE 2 port_num 1
PARAM_VALUE 3 event 9-10
FUZZY_MAX 3 event 10
BIT_INFO 3 event 0x8,0xb
HARD_MAX 3 event 10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &bnxt_re_mutex

drivers/infiniband/hw/bnxt_re/main.c bnxt_re_stop_irq() -> bnxt_re_dispatch_event()

Type Parameter Key Value
PARAM_VALUE 0 ibdev 4096-ptr_max
PARAM_VALUE 1 qp 0
PARAM_VALUE 2 port_num 1
PARAM_VALUE 3 event 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bp->dev->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 global &pci_rescan_remove_lock
HALF_LOCKED2 global &rtnl_mutex