Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/ef10.c efx_ef10_get_timer_config() -> efx_ef10_process_timer_config()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.count.counter 0
PARAM_VALUE 0 efx->filter_sem.first_waiter 0
PARAM_VALUE 0 efx->filter_sem.magic 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.osq.tail.counter 0
PARAM_VALUE 0 efx->filter_sem.owner.counter 0
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.magic 4096-ptr_max
PARAM_VALUE 0 efx->mac_lock.osq.tail.counter 0
PARAM_VALUE 0 efx->mac_lock.owner.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->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->ethtool_ops->supported_coalesce_params 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563
PARAM_VALUE 0 efx->net_dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728
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->workaround_35388 0-1
PARAM_VALUE 0 efx->nic_data->workaround_61265 0-1
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->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 efx->pci_dev->dev.cma_area->alloc_mutex.osq.tail.counter 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_io_tlb_pools.next->prev->prev 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.dma_uses_io_tlb 1
PARAM_VALUE 0 efx->pci_dev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 efx->pci_dev->dev.iommu_group->default_domain 0-s64max
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.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 efx->pci_dev->dev.kobj.sd->priv 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.power.request 0-4
PARAM_VALUE 0 efx->pci_dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
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->driver_max_VFs 0-u16max
PARAM_VALUE 0 efx->pci_dev->sriov->nres s32min-s32max
PARAM_VALUE 0 efx->pci_dev->sriov->pos s32min-s32max
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->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->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->reset_work.entry.next 4096-ptr_max
PARAM_VALUE 0 efx->primary->rps_hash_table 0,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->fini_dmaq 4096-ptr_max
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_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->rx_prefix_size 14,16,22
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->workqueue_name 0-255
PARAM_VALUE 1 data 1135437945422004224
BUF_SIZE 0 efx->nic_data 1360
BUF_SIZE 1 data 36
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
NOCHECK_CALL
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->primary->xdp_tx_queue_count
NO_OVERFLOW_SIMPLE 0 efx->workqueue->rescuer->task->dl.pi_se->dl_runtime