Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/ef10.c efx_ef10_get_timer_workarounds() -> efx_mcdi_set_workaround()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 efx->filter_sem.first_waiter->type 0-1
PARAM_VALUE 0 efx->fixed_features 0,32-u64max
PARAM_VALUE 0 efx->flush_wq.head.next 4096-ptr_max
PARAM_VALUE 0 efx->flush_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 efx->flush_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 efx->flush_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 efx->flush_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 efx->interrupt_mode 0-2
PARAM_VALUE 0 efx->mac_lock.first_waiter 0
PARAM_VALUE 0 efx->mac_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 efx->mac_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 efx->mac_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 efx->mac_lock.osq.tail.counter 0
PARAM_VALUE 0 efx->max_channels 1-32
PARAM_VALUE 0 efx->max_tx_channels 1-32
PARAM_VALUE 0 efx->max_vis 1-u32max
PARAM_VALUE 0 efx->mc_bist_for_other_fn 0
PARAM_VALUE 0 efx->mcdi 4096-ptr_max
PARAM_VALUE 0 efx->mcdi->hwmon.device->iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 efx->mcdi->hwmon.device->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 efx->mcdi->hwmon.device->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 efx->mcdi->hwmon.device->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 efx->mcdi->hwmon.device->p->dead 0-1
PARAM_VALUE 0 efx->mcdi->hwmon.device->p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 efx->mcdi->hwmon.device->parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 efx->mcdi->hwmon.device->parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 efx->mcdi->hwmon.device->parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 efx->mcdi->hwmon.device->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 efx->mcdi->iface.logging_buffer 0,4096-ptr_max
PARAM_VALUE 0 efx->mcdi->iface.resp_data_len 0-u32max
PARAM_VALUE 0 efx->mcdi->iface.resp_hdr_len 0,4,8
PARAM_VALUE 0 efx->mcdi->iface.resprc 0
PARAM_VALUE 0 efx->mem_bar 0-5
PARAM_VALUE 0 efx->membase 4096-ptr_max
PARAM_VALUE 0 efx->membase_phys 1-u64max
PARAM_VALUE 0 efx->mtd_list.next 4096-ptr_max
PARAM_VALUE 0 efx->mtd_list.next->next 4096-ptr_max
PARAM_VALUE 0 efx->mtd_list.prev 4096-ptr_max
PARAM_VALUE 0 efx->mtd_list.prev->next 4096-ptr_max
PARAM_VALUE 0 efx->mtd_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 efx->net_dev 4096-ptr_max
PARAM_VALUE 0 efx->net_dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3552,9688-u64max
PARAM_VALUE 0 efx->net_dev->stat_ops->get_base_stats 390,1272074189207728128,2310659240575979520,3484279091734085632
PARAM_VALUE 0 efx->net_dev->stat_ops->get_queue_stats_rx 3221,485067181482946560,1764581006800400384,1948947940552581120
PARAM_VALUE 0 efx->net_dev->stat_ops->get_queue_stats_tx 5107,212433142900785152,1629491074046078976,1747042592724492288
PARAM_VALUE 0 efx->nic_data 4096-ptr_max
PARAM_VALUE 0 efx->nic_data->datapath_caps 0-4294967295
PARAM_VALUE 0 efx->nic_data->datapath_caps2 0-4294967295
PARAM_VALUE 0 efx->nic_data->datapath_caps3 0-4294967295
PARAM_VALUE 0 efx->nic_data->piobuf_size 0-u16max
PARAM_VALUE 0 efx->nic_data->rx_dpcpu_fw_id 0-u16max
PARAM_VALUE 0 efx->nic_data->tx_dpcpu_fw_id 0-u16max
PARAM_VALUE 0 efx->node.next 4096-ptr_max
PARAM_VALUE 0 efx->node.next->next 4096-ptr_max
PARAM_VALUE 0 efx->node.prev 4096-ptr_max
PARAM_VALUE 0 efx->node.prev->next 4096-ptr_max
PARAM_VALUE 0 efx->node.prev->prev 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 efx->pci_dev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efx->pci_dev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 efx->pci_dev->dev.iommu_group->recovery_cnt 0-4294967295
PARAM_VALUE 0 efx->pci_dev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 efx->pci_dev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 efx->pci_dev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 efx->pci_dev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 efx->pci_dev->driver 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->error_state 0-2,4-u32max
PARAM_VALUE 0 efx->pci_dev->is_busmaster 1
PARAM_VALUE 0 efx->pci_dev->is_virtfn 0
PARAM_VALUE 0 efx->pci_dev->pcie_cap 0-1
PARAM_VALUE 0 efx->pci_dev->sriov->cap 0-4294967295
PARAM_VALUE 0 efx->pci_dev->sriov->class 0-4294967295
PARAM_VALUE 0 efx->pci_dev->sriov->ctrl 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->driver_max_VFs 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->hdr_type 0-255
PARAM_VALUE 0 efx->pci_dev->sriov->initial_VFs 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->link 0-255
PARAM_VALUE 0 efx->pci_dev->sriov->nres s32min-s32max
PARAM_VALUE 0 efx->pci_dev->sriov->num_VFs 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->offset 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->pgsz 0-4294967295
PARAM_VALUE 0 efx->pci_dev->sriov->pos 0,256-4092
PARAM_VALUE 0 efx->pci_dev->sriov->stride 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->subsystem_device 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->subsystem_vendor 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->vf_device 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->vf_rebar_cap 0-u16max
PARAM_VALUE 0 efx->port_num 0-s32max
PARAM_VALUE 0 efx->primary 4096-ptr_max
PARAM_VALUE 0 efx->primary->filter_sem.count.counter 0
PARAM_VALUE 0 efx->primary->filter_sem.first_waiter 0
PARAM_VALUE 0 efx->primary->filter_sem.magic 4096-ptr_max
PARAM_VALUE 0 efx->primary->filter_sem.owner.counter 0
PARAM_VALUE 0 efx->primary->fixed_features 0,32-u64max
PARAM_VALUE 0 efx->primary->flush_wq.head.next 4096-ptr_max
PARAM_VALUE 0 efx->primary->flush_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 efx->primary->interrupt_mode 0-2
PARAM_VALUE 0 efx->primary->mac_lock.first_waiter 0
PARAM_VALUE 0 efx->primary->mac_lock.magic 4096-ptr_max
PARAM_VALUE 0 efx->primary->mac_lock.osq.tail.counter 0
PARAM_VALUE 0 efx->primary->mac_lock.owner.counter 0
PARAM_VALUE 0 efx->primary->max_channels 32
PARAM_VALUE 0 efx->primary->max_tx_channels 32
PARAM_VALUE 0 efx->primary->mc_bist_for_other_fn 0
PARAM_VALUE 0 efx->primary->mcdi 4096-ptr_max
PARAM_VALUE 0 efx->primary->mem_bar 0-5
PARAM_VALUE 0 efx->primary->membase 4096-ptr_max
PARAM_VALUE 0 efx->primary->membase_phys 1-u64max
PARAM_VALUE 0 efx->primary->mtd_list.next 4096-ptr_max
PARAM_VALUE 0 efx->primary->mtd_list.prev 4096-ptr_max
PARAM_VALUE 0 efx->primary->net_dev 0,4096-ptr_max
PARAM_VALUE 0 efx->primary->nic_data 4096-ptr_max
PARAM_VALUE 0 efx->primary->node.next 4096-ptr_max
PARAM_VALUE 0 efx->primary->node.prev 4096-ptr_max
PARAM_VALUE 0 efx->primary->num_mac_stats 97
PARAM_VALUE 0 efx->primary->pci_dev 4096-ptr_max
PARAM_VALUE 0 efx->primary->primary 4096-ptr_max
PARAM_VALUE 0 efx->primary->rps_mutex.first_waiter 0
PARAM_VALUE 0 efx->primary->rps_mutex.magic 4096-ptr_max
PARAM_VALUE 0 efx->primary->rps_mutex.owner.counter 0
PARAM_VALUE 0 efx->primary->rx_ip_align 0
PARAM_VALUE 0 efx->primary->rx_prefix_size 14,16,22
PARAM_VALUE 0 efx->primary->rxq_entries 1024
PARAM_VALUE 0 efx->primary->secondary_list.next 4096-ptr_max
PARAM_VALUE 0 efx->primary->secondary_list.prev 4096-ptr_max
PARAM_VALUE 0 efx->primary->tx_queues_per_channel 1
PARAM_VALUE 0 efx->primary->txq_entries 1024
PARAM_VALUE 0 efx->primary->type 4096-ptr_max
PARAM_VALUE 0 efx->primary->vi_stride 8192,65536
PARAM_VALUE 0 efx->primary->workqueue 4096-ptr_max
PARAM_VALUE 0 efx->reset_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 efx->rps_hash_table 0,4096-ptr_max
PARAM_VALUE 0 efx->rps_hash_table->first 0
PARAM_VALUE 0 efx->rps_mutex.first_waiter 0
PARAM_VALUE 0 efx->rps_mutex.magic 4096-ptr_max
PARAM_VALUE 0 efx->rps_mutex.osq.tail.counter 0
PARAM_VALUE 0 efx->rps_mutex.owner.counter 0
PARAM_VALUE 0 efx->rx_ip_align 0
PARAM_VALUE 0 efx->rx_packet_len_offset (-6)
PARAM_VALUE 0 efx->rx_prefix_size 14,16,22
PARAM_VALUE 0 efx->rxq_entries 1024
PARAM_VALUE 0 efx->secondary_list.next 4096-ptr_max
PARAM_VALUE 0 efx->secondary_list.next->next 4096-ptr_max
PARAM_VALUE 0 efx->secondary_list.prev 4096-ptr_max
PARAM_VALUE 0 efx->secondary_list.prev->next 4096-ptr_max
PARAM_VALUE 0 efx->secondary_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 efx->tx_queues_per_channel 2,4
PARAM_VALUE 0 efx->txq_entries 1024
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->check_caps 4096-ptr_max
PARAM_VALUE 0 efx->type->ev_remove 4096-ptr_max
PARAM_VALUE 0 efx->type->fini 0,4096-ptr_max
PARAM_VALUE 0 efx->type->fini_dmaq 4096-ptr_max
PARAM_VALUE 0 efx->type->max_rx_ip_filters 8192
PARAM_VALUE 0 efx->type->mem_bar 4096-ptr_max
PARAM_VALUE 0 efx->type->min_interrupt_mode 0,2
PARAM_VALUE 0 efx->type->mtd_probe 0,4096-ptr_max
PARAM_VALUE 0 efx->type->mtd_read 0,4096-ptr_max
PARAM_VALUE 0 efx->type->mtd_write 0,4096-ptr_max
PARAM_VALUE 0 efx->type->offload_features 824633720850,19516331393555,28312424677609
PARAM_VALUE 0 efx->type->probe 4096-ptr_max
PARAM_VALUE 0 efx->type->probe_port 0,4096-ptr_max
PARAM_VALUE 0 efx->type->reset 4096-ptr_max
PARAM_VALUE 0 efx->type->revision 3-6
PARAM_VALUE 0 efx->type->rx_hash_key_size 0,16,40
PARAM_VALUE 0 efx->type->rx_prefix_size 14,16,22
PARAM_VALUE 0 efx->type->sriov_init 0,4096-ptr_max
PARAM_VALUE 0 efx->type->test_chip 0,4096-ptr_max
PARAM_VALUE 0 efx->type->test_nvram 0,4096-ptr_max
PARAM_VALUE 0 efx->vi_stride 8192,16384,65536
PARAM_VALUE 0 efx->workqueue 4096-ptr_max
PARAM_VALUE 0 *efx->net_dev->name 0-255
PARAM_VALUE 0 *efx->nic_data->mcdi_buf.addr 0-255
PARAM_VALUE 0 *efx->pci_dev->saved_config_space 0-4294967295
PARAM_VALUE 0 *efx->rss_context.rx_indir_table 0-4294967295
PARAM_VALUE 0 *efx->workqueue_name 0-255
PARAM_VALUE 1 type 2
PARAM_VALUE 2 enabled 1
PARAM_VALUE 3 flags 0
BUF_SIZE 0 efx->nic_data 1360
CAPPED_DATA 0 efx->max_channels 1
CAPPED_DATA 0 efx->max_tx_channels 1
CAPPED_DATA 0 efx->pci_dev 1
CAPPED_DATA 0 efx->rps_hash_table 1
DATA_SOURCE 0 efx $0
FUZZY_MAX 0 efx->tx_queues_per_channel 4
BIT_INFO 0 efx->tx_queues_per_channel 0x0,0x6
HARD_MAX 0 efx->tx_queues_per_channel 4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 efx->primary->vf_count
NO_OVERFLOW_SIMPLE 0 efx->primary->vf_init_count
NO_OVERFLOW_SIMPLE 0 efx->ptp_data->phc_clock->clock.dev->dma_range_map
NO_OVERFLOW_SIMPLE 0 efx->type->max_rx_ip_filters
NO_OVERFLOW_SIMPLE 0 efx->vf_count
NO_OVERFLOW_SIMPLE 0 efx->vf_init_count
NO_OVERFLOW_SIMPLE 0 efx->xdp_tx_queue_count

drivers/net/ethernet/sfc/ef10.c efx_ef10_irq_test_generate() -> efx_mcdi_set_workaround()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->last_irq_cpu (-1)
PARAM_VALUE 0 efx->mcdi->iface.logging_buffer 0,4096-ptr_max
PARAM_VALUE 0 efx->mcdi->iface.resp_data_len 0-u32max
PARAM_VALUE 0 efx->net_dev 4096-ptr_max
PARAM_VALUE 0 efx->reset_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->test_nvram 0,4096-ptr_max
PARAM_VALUE 0 *efx->net_dev->name 0-255
PARAM_VALUE 1 type 4
PARAM_VALUE 2 enabled 1
PARAM_VALUE 3 flags 0
DATA_SOURCE 0 efx $0
BIT_INFO 0 efx->msg_enable 0x0,0xffffffff

drivers/net/ethernet/sfc/ef10.c efx_ef10_probe_multicast_chaining() -> efx_mcdi_set_workaround()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 efx->filter_sem.first_waiter->type 0-1
PARAM_VALUE 0 efx->mc_bist_for_other_fn 0
PARAM_VALUE 0 efx->mcdi->hwmon.device->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 efx->mcdi->iface.resp_hdr_len 0,4,8
PARAM_VALUE 0 efx->nic_data 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 efx->pci_dev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 efx->reset_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->fini_dmaq 4096-ptr_max
PARAM_VALUE 0 efx->type->min_interrupt_mode 0,2
PARAM_VALUE 0 efx->type->mtd_probe 0,4096-ptr_max
PARAM_VALUE 0 efx->type->mtd_read 0,4096-ptr_max
PARAM_VALUE 0 efx->type->mtd_write 0,4096-ptr_max
PARAM_VALUE 0 efx->type->probe 4096-ptr_max
PARAM_VALUE 0 efx->type->probe_port 0,4096-ptr_max
PARAM_VALUE 0 efx->type->reset 4096-ptr_max
PARAM_VALUE 0 efx->type->revision 3-6
PARAM_VALUE 0 efx->type->rx_prefix_size 14,16,22
PARAM_VALUE 0 efx->type->set_mac_address 0,3124405120001933312,4797941213785481216
PARAM_VALUE 0 efx->type->sriov_wanted 0,849639514087391232,3407066356855250944
PARAM_VALUE 0 *efx->net_dev->name 0-255
PARAM_VALUE 0 *efx->nic_data->mcdi_buf.addr 0-255
PARAM_VALUE 0 *efx->pci_dev->saved_config_space 0-4294967295
PARAM_VALUE 0 *efx->rss_context.rx_indir_table 0-4294967295
PARAM_VALUE 1 type 6
PARAM_VALUE 2 enabled 1
PARAM_VALUE 3 flags 3883736555944685568
CAPPED_DATA 0 efx->net_dev->num_tx_queues 1
DATA_SOURCE 0 efx $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 efx->n_channels 1[c]
HOST_DATA 0 efx->n_rx_channels 1[c]
HOST_DATA 0 efx->n_tx_channels 1[c]
HOST_DATA 0 efx->pci_dev->acs_capabilities 0-u16max
HOST_DATA 0 efx->pci_dev->class 0-16777215
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]
HOST_DATA 0 efx->pci_dev->devcap 0-u32max
HOST_DATA 0 efx->pci_dev->device 0-u16max
HOST_DATA 0 efx->pci_dev->eetlp_prefix_max 0-7[c]
HOST_DATA 0 efx->pci_dev->fm_enabled 0-1[c]
HOST_DATA 0 efx->pci_dev->hdr_type 0-255[c]
HOST_DATA 0 efx->pci_dev->ide_cfg 0-1[c]
HOST_DATA 0 efx->pci_dev->ide_tee_limit 0-1[c]
HOST_DATA 0 efx->pci_dev->irq 0-255
HOST_DATA 0 efx->pci_dev->is_cxl 0-1
HOST_DATA 0 efx->pci_dev->multifunction 0-1[c]
HOST_DATA 0 efx->pci_dev->nr_ide_mem 0-255[c]
HOST_DATA 0 efx->pci_dev->pcie_flags_reg 0-u16max
HOST_DATA 0 efx->pci_dev->pcie_mpss 0-7[c]
HOST_DATA 0 efx->pci_dev->pin 0
HOST_DATA 0 efx->pci_dev->pme_support 0-31[c]
HOST_DATA 0 efx->pci_dev->ptm_granularity 0-255[c]
HOST_DATA 0 efx->pci_dev->revision 0-255
HOST_DATA 0 efx->pci_dev->subsystem_device 0-u16max
HOST_DATA 0 efx->pci_dev->subsystem_vendor 0-u16max
HOST_DATA 0 efx->pci_dev->supported_speeds 0,2-254[c]
HOST_DATA 0 efx->pci_dev->transparent 0[c]
HOST_DATA 0 efx->pci_dev->vendor 0-u16max
HOST_DATA 0 efx->rss_spread 1[c]
HOST_DATA 0 efx->rx_dc_base 73648[c]
HOST_DATA 0 efx->tx_dc_base 73712[c]
HOST_DATA 0 efx->xdp_channel_offset 1[c]
NO_OVERFLOW_SIMPLE 0 efx->stats_buffer.len
NO_OVERFLOW_SIMPLE 0 efx->xdp_tx_queue_count
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 &efx->filter_sem
HALF_LOCKED2 0 &efx->mac_lock