Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/emulex/benet/be_main.c be_pci_sriov_configure() -> be_vf_setup()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->et_cmd_compl.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->mbox_lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 adapter->mbox_mem.va->compl.status 0
PARAM_VALUE 0 adapter->mcc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->msix_entries->vector 0-4294967295
PARAM_VALUE 0 adapter->need_def_rxq 0-1
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->netdev->priv->be_get_temp_freq s32min-s32max
PARAM_VALUE 0 adapter->netdev->priv->bmc_filt_mask 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.eth_red_drops 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.forwarded_packets 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.jabber_events 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.pmem_fifo_overflow_drop 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.roce_drops_crc 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.roce_drops_payload_len 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_address_filtered 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_alignment_symbol_errors 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_control_frames 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_crc_errors 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_dropped_header_too_small 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_dropped_runt 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_dropped_tcp_length 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_dropped_too_short 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_dropped_too_small 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_drops_mtu 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_drops_no_erx_descr 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_drops_no_pbuf 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_drops_no_tpre_descr 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_drops_too_many_frags 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_frame_too_long 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_in_range_errors 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_input_fifo_overflow_drop 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_ip_checksum_errs 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_out_range_errors 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_pause_frames 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_priority_pause_frames 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_roce_bytes_lsd 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_roce_bytes_msd 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_roce_frames 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_tcp_checksum_errs 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rx_udp_checksum_errs 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.rxpp_fifo_overflow_drop 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.tx_controlframes 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.tx_pauseframes 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->drv_stats.tx_priority_pauseframes 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->err_flags 0-255
PARAM_VALUE 0 adapter->netdev->priv->et_cmd_compl.done 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->et_cmd_compl.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->et_cmd_compl.wait.lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 adapter->netdev->priv->flags 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->flash_status 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->hwmon_info.be_on_die_temp 0-255
PARAM_VALUE 0 adapter->netdev->priv->if_flags 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->mcc_cq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->netdev->priv->mcc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->netdev->priv->mcc_obj.cq.tail 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->mcc_obj.q.head 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->mcc_obj.q.used.counter s32min-s32max
PARAM_VALUE 0 adapter->netdev->priv->phy.link_speed s32min-s32max
PARAM_VALUE 0 adapter->netdev->priv->phy_state 0-255
PARAM_VALUE 0 adapter->netdev->priv->pvid 0-u16max
PARAM_VALUE 0 adapter->netdev->priv->qnq_vid 0-u16max
PARAM_VALUE 0 adapter->netdev->priv->recommended_prio_bits 0-u16max
PARAM_VALUE 0 adapter->netdev->priv->rx_filter.va->hdr.request_length 408
PARAM_VALUE 0 adapter->netdev->priv->rx_filter.va->if_flags 0-6840
PARAM_VALUE 0 adapter->netdev->priv->rx_filter.va->if_flags_mask 1-7352
PARAM_VALUE 0 adapter->netdev->priv->rx_filter.va->if_id 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->rx_filter.va->mcast_num 0-4294967295
PARAM_VALUE 0 adapter->netdev->priv->stats_cmd_sent 0-1
PARAM_VALUE 0 adapter->netdev->priv->vlan_prio_bmap 0-255
PARAM_VALUE 0 adapter->netdev->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 adapter->netdev->tx_global_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->num_vfs 1-u16max
PARAM_VALUE 0 adapter->pdev 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 adapter->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 adapter->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 adapter->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 adapter->pdev->msix_base 0,4096-ptr_max
PARAM_VALUE 0 adapter->res.flags 0
PARAM_VALUE 0 adapter->res.if_cap_flags 0,4-16784316
PARAM_VALUE 0 adapter->res.max_rss_tables 0
PARAM_VALUE 0 adapter->res.max_vfs 0
PARAM_VALUE 0 adapter->res.vf_if_cap_flags 0
PARAM_VALUE 0 adapter->work.work.lockdep_map->name 0-255
PARAM_VALUE 0 *adapter->netdev->name 0-255
PARAM_VALUE 0 *adapter->netdev->priv->dev_mac 0-255
BUF_SIZE 0 adapter s32min-(-2),1-s32max
BUF_SIZE 0 adapter s32min-(-2),1-s32max
CAPPED_DATA 0 adapter->cfg_num_rx_irqs 1
CAPPED_DATA 0 adapter->cfg_num_tx_irqs 1
CAPPED_DATA 0 adapter->num_rx_qs 1
CAPPED_DATA 0 adapter->num_vfs 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 adapter->num_msix_roce_vec 1-1073741823[c]
HOST_DATA 0 adapter->pdev->acs_capabilities 0-u16max
HOST_DATA 0 adapter->pdev->class 0-16777215
HOST_DATA 0 adapter->pdev->devcap 0-u32max
HOST_DATA 0 adapter->pdev->devfn 0-503[c]
HOST_DATA 0 adapter->pdev->eetlp_prefix_max 0-7[c]
HOST_DATA 0 adapter->pdev->fm_enabled 0-1[c]
HOST_DATA 0 adapter->pdev->hdr_type 0-255[c]
HOST_DATA 0 adapter->pdev->ide_cfg 0-1[c]
HOST_DATA 0 adapter->pdev->ide_tee_limit 0-1[c]
HOST_DATA 0 adapter->pdev->irq 0-255
HOST_DATA 0 adapter->pdev->is_cxl 0-1
HOST_DATA 0 adapter->pdev->multifunction 0-1[c]
HOST_DATA 0 adapter->pdev->nr_ide_mem 0-255[c]
HOST_DATA 0 adapter->pdev->pcie_flags_reg 0-u16max
HOST_DATA 0 adapter->pdev->pcie_mpss 0-7[c]
HOST_DATA 0 adapter->pdev->pin 0
HOST_DATA 0 adapter->pdev->pme_support 0-31[c]
HOST_DATA 0 adapter->pdev->ptm_granularity 0-255[c]
HOST_DATA 0 adapter->pdev->revision 0-255
HOST_DATA 0 adapter->pdev->subsystem_device 0-u16max
HOST_DATA 0 adapter->pdev->subsystem_vendor 0-u16max
HOST_DATA 0 adapter->pdev->supported_speeds 0,2-254[c]
HOST_DATA 0 adapter->pdev->transparent 0[c]
HOST_DATA 0 adapter->pdev->vendor 0-u16max
NO_OVERFLOW_SIMPLE 0 adapter->res.max_mcast_mac
NO_OVERFLOW_SIMPLE 0 adapter->res.max_uc_mac
UNITS 0 adapter unit_byte
LOCK2 &of->mutex
LOCK2 &pdev->dev.mutex
LOCK2 global &pci_rescan_remove_lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/net/ethernet/emulex/benet/be_main.c be_setup() -> be_vf_setup()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->aic_enabled 1
PARAM_VALUE 0 adapter->et_cmd_compl.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->if_flags 0
PARAM_VALUE 0 adapter->mbox_lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 adapter->mbox_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 adapter->mbox_mem.va->compl.flags 0
PARAM_VALUE 0 adapter->mbox_mem.va->compl.status 0
PARAM_VALUE 0 adapter->mc_list 16,4096-ptr_max
PARAM_VALUE 0 adapter->mcc_cq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->mcc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->mcc_obj.cq.dma_mem.va 0
PARAM_VALUE 0 adapter->mcc_obj.cq.entry_size 16
PARAM_VALUE 0 adapter->mcc_obj.cq.head 0
PARAM_VALUE 0 adapter->mcc_obj.cq.id 0-u16max
PARAM_VALUE 0 adapter->mcc_obj.cq.len 256
PARAM_VALUE 0 adapter->mcc_obj.cq.used.counter 0
PARAM_VALUE 0 adapter->mcc_obj.q.dma_mem.va 0
PARAM_VALUE 0 adapter->mcc_obj.q.entry_size 256
PARAM_VALUE 0 adapter->mcc_obj.q.id 0-u16max
PARAM_VALUE 0 adapter->mcc_obj.q.len 128
PARAM_VALUE 0 adapter->mcc_obj.q.tail 0
PARAM_VALUE 0 adapter->msix_entries->vector 0-4294967295
PARAM_VALUE 0 adapter->need_def_rxq 0-1
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->netdev->dev_addr 4096-ptr_max
PARAM_VALUE 0 adapter->netdev->lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 adapter->netdev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 adapter->netdev->threaded 0
PARAM_VALUE 0 adapter->num_evt_qs 0
PARAM_VALUE 0 adapter->num_rss_qs 0
PARAM_VALUE 0 adapter->num_rx_qs 1-u16max
PARAM_VALUE 0 adapter->num_tx_qs 0
PARAM_VALUE 0 adapter->num_vfs 1-u16max
PARAM_VALUE 0 adapter->pdev 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 adapter->pdev->dev.cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 adapter->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 adapter->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 adapter->pdev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 adapter->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 adapter->pdev->is_msi_managed 1
PARAM_VALUE 0 adapter->pdev->is_physfn 1
PARAM_VALUE 0 adapter->pdev->link_bwctrl->cdev 0-s64max
PARAM_VALUE 0 adapter->pdev->msix_base 0,4096-ptr_max
PARAM_VALUE 0 adapter->pmac_id 16,4096-ptr_max
PARAM_VALUE 0 adapter->res.flags 0
PARAM_VALUE 0 adapter->res.if_cap_flags 0,4-16784316
PARAM_VALUE 0 adapter->res.max_rss_tables 0
PARAM_VALUE 0 adapter->res.max_vfs 0
PARAM_VALUE 0 adapter->res.vf_if_cap_flags 0
PARAM_VALUE 0 adapter->uc_list 16,4096-ptr_max
PARAM_VALUE 0 *adapter->dev_mac 0-255
PARAM_VALUE 0 *adapter->netdev->name 0-255
PARAM_VALUE 0 *adapter->netdev->perm_addr 0-255
PARAM_VALUE 0 *adapter->serial_num 0-u16max
BUF_SIZE 0 adapter s32min-(-1),1-s32max
BUF_SIZE 0 adapter s32min-(-1),1-s32max
BUF_SIZE 0 adapter->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 adapter->cfg_num_rx_irqs 1
CAPPED_DATA 0 adapter->cfg_num_tx_irqs 1
DATA_SOURCE 0 adapter $0
PARAM_COMPARE 0 adapter->cfg_num_rx_irqs == $0->cfg_num_tx_irqs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 adapter->num_msix_roce_vec 1-1073741823[c]
HOST_DATA 0 adapter->pdev->acs_capabilities 0-u16max
HOST_DATA 0 adapter->pdev->class 0-16777215
HOST_DATA 0 adapter->pdev->current_state 0-3[c]
HOST_DATA 0 adapter->pdev->devcap 0-u32max
HOST_DATA 0 adapter->pdev->devfn 0-503[c]
HOST_DATA 0 adapter->pdev->eetlp_prefix_max 0-7[c]
HOST_DATA 0 adapter->pdev->fm_enabled 0-1[c]
HOST_DATA 0 adapter->pdev->hdr_type 0-255[c]
HOST_DATA 0 adapter->pdev->ide_cfg 0-1[c]
HOST_DATA 0 adapter->pdev->ide_tee_limit 0-1[c]
HOST_DATA 0 adapter->pdev->irq 0-255
HOST_DATA 0 adapter->pdev->is_cxl 0-1
HOST_DATA 0 adapter->pdev->multifunction 0-1[c]
HOST_DATA 0 adapter->pdev->nr_ide_mem 0-255[c]
HOST_DATA 0 adapter->pdev->pcie_flags_reg 0-u16max
HOST_DATA 0 adapter->pdev->pcie_mpss 0-7[c]
HOST_DATA 0 adapter->pdev->pin 0
HOST_DATA 0 adapter->pdev->pme_support 0-31[c]
HOST_DATA 0 adapter->pdev->ptm_granularity 0-255[c]
HOST_DATA 0 adapter->pdev->revision 0-255
HOST_DATA 0 adapter->pdev->subsystem_device 0-u16max
HOST_DATA 0 adapter->pdev->subsystem_vendor 0-u16max
HOST_DATA 0 adapter->pdev->supported_speeds 0,2-254[c]
HOST_DATA 0 adapter->pdev->transparent 0[c]
HOST_DATA 0 adapter->pdev->vendor 0-u16max
HOST_DATA 0 adapter->sli_family 0[c]
NO_OVERFLOW_SIMPLE 0 adapter->res.max_mcast_mac
NO_OVERFLOW_SIMPLE 0 adapter->res.max_uc_mac
UNITS 0 adapter unit_byte