Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/ef10.c efx_ef10_probe() -> efx_ef10_get_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.first_waiter->handoff_set 0-1
PARAM_VALUE 0 efx->filter_sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 efx->filter_sem.first_waiter->type 0-1
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->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.magic 4096-ptr_max
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->hwmon.device->power.wakeirq->status 0-4294967295
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->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,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744
PARAM_VALUE 0 efx->nic_data 4096-ptr_max
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->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.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 efx->pci_dev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 efx->pci_dev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
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.kobj.sd->priv 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev->dev.msi.data->__iter_idx 0-s64max
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->pcie_cap 0-1
PARAM_VALUE 0 efx->pci_dev->sriov->driver_max_VFs 0-u16max
PARAM_VALUE 0 efx->pci_dev->subordinate->self->link_bwctrl->cdev 0-s64max
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,4096-ptr_max
PARAM_VALUE 0 efx->primary->mac_lock.magic 4096-ptr_max
PARAM_VALUE 0 efx->primary->mac_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 efx->primary->mac_lock.owner.counter 0
PARAM_VALUE 0 efx->primary->max_channels 0-4294967294
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->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->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->workqueue 4096-ptr_max
PARAM_VALUE 0 efx->reset_work.entry.next 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_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->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
BUF_SIZE 0 efx (-1),5888
BUF_SIZE 0 efx (-1),5888
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->primary->xdp_tx_queue_count
NO_OVERFLOW_SIMPLE 0 efx->stats_buffer.len