falcon_probe_board identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 2 files as a prototype:

Defined in 1 files as a function:

drivers/net/ethernet/sfc/falcon/falcon_boards.c, line 741 (as a function)

Referenced in 1 files:

drivers/net/ethernet/sfc/falcon/falcon.c, line 2211

Smatch caller information:

drivers/net/ethernet/sfc/falcon/falcon.c falcon_probe_nvconfig() -> falcon_probe_board()

Type	Parameter	Key	Value
PARAM_VALUE	0	efx	4096-ptr_max
PARAM_VALUE	0	efx->biu_lock.rlock.dep_map->name	0-255
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->irq_status.addr	1-ptr_max
PARAM_VALUE	0	efx->irq_status.len	16
PARAM_VALUE	0	efx->mac_lock.dep_map->name	0-255
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->mdio.dev	4096-ptr_max
PARAM_VALUE	0	efx->mdio.dev->dev.parent	4096-ptr_max
PARAM_VALUE	0	efx->mdio.prtad	0-255
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->dev.parent	4096-ptr_max
PARAM_VALUE	0	efx->net_dev->perm_addr	4096-ptr_max
PARAM_VALUE	0	efx->nic_data	4096-ptr_max
PARAM_VALUE	0	efx->nic_data->pci_dev2->is_virtfn	0-1
PARAM_VALUE	0	efx->nic_data->pci_dev2->sriov->offset	0-u16max
PARAM_VALUE	0	efx->nic_data->pci_dev2->sriov->stride	0-u16max
PARAM_VALUE	0	efx->nic_data->pci_dev2->state_saved	0-1
PARAM_VALUE	0	efx->nic_data->spi_eeprom.addr_len	0-3
PARAM_VALUE	0	efx->nic_data->spi_eeprom.device_id	0
PARAM_VALUE	0	efx->nic_data->spi_eeprom.size	1-4294967295
PARAM_VALUE	0	efx->nic_data->spi_flash.addr_len	0-3
PARAM_VALUE	0	efx->nic_data->spi_flash.device_id	1
PARAM_VALUE	0	efx->nic_data->spi_lock->magic	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	efx->nic_data->spi_lock.dep_map->name	0-255
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	efx->nic_data->spi_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	efx->nic_data->spi_lock.osq.tail.counter	0-s32max
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->bus->self->link_bwctrl->cdev	0,4096-s64max
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->prev	5159360019465732096
PARAM_VALUE	0	efx->pci_dev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	efx->pci_dev->dev.dma_io_tlb_mem->for_alloc	0-1
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->pci_32bit_workaround	0-1
PARAM_VALUE	0	efx->pci_dev->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	efx->pci_dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
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.open->nr_mmapped	0-4294967295
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->dev.power.wakeirq	0,4096-ptr_max
PARAM_VALUE	0	efx->pci_dev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	efx->pci_dev->dev.type	0,4096-ptr_max
PARAM_VALUE	0	efx->pci_dev->driver	4096-ptr_max
PARAM_VALUE	0	efx->pci_dev->driver->sriov_get_vf_total_msix	0,3629692746472820736,6488395192013627392
PARAM_VALUE	0	efx->pci_dev->driver->sriov_set_msix_vec_count	0,1923382970702811136,7848935108349911040
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->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	efx->pci_dev->p2pdma->p2pmem_published	0-1
PARAM_VALUE	0	efx->pci_dev->pcie_cap	0-1
PARAM_VALUE	0	efx->pci_dev->sriov->offset	0-u16max
PARAM_VALUE	0	efx->pci_dev->sriov->stride	0-u16max
PARAM_VALUE	0	efx->pci_dev->subordinate->self->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	efx->pci_dev->vpd.lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	efx->pci_dev->vpd.lock.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	0	efx->pci_dev->vpd.lock.first_waiter->magic	5159360019465732096
PARAM_VALUE	0	efx->pci_dev->vpd.lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	efx->pci_dev->vpd.lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	efx->pci_dev->vpd.lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	efx->pci_dev->vpd.lock.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	efx->pci_dev->vpd.lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	efx->phy_op	6817621662291316736
PARAM_VALUE	0	efx->phy_op->fini	3841971721373872128
PARAM_VALUE	0	efx->phy_op->get_link_ksettings	0
PARAM_VALUE	0	efx->phy_op->get_module_eeprom	0
PARAM_VALUE	0	efx->phy_op->get_module_info	0
PARAM_VALUE	0	efx->phy_op->init	7196413248886013952
PARAM_VALUE	0	efx->phy_op->poll	7497701196798357504
PARAM_VALUE	0	efx->phy_op->probe	0
PARAM_VALUE	0	efx->phy_op->reconfigure	7196413248886013952
PARAM_VALUE	0	efx->phy_op->remove	0
PARAM_VALUE	0	efx->phy_op->run_tests	0
PARAM_VALUE	0	efx->phy_op->set_link_ksettings	0
PARAM_VALUE	0	efx->phy_op->set_npage_adv	0
PARAM_VALUE	0	efx->phy_op->test_alive	0
PARAM_VALUE	0	efx->phy_op->test_name	0
PARAM_VALUE	0	efx->phy_type	0-255
PARAM_VALUE	0	efx->primary	4096-ptr_max
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->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->mdio.dev	4096-ptr_max
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->net_dev	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->pci_dev	4096-ptr_max
PARAM_VALUE	0	efx->primary->phy_op	6817621662291316736
PARAM_VALUE	0	efx->primary->primary	4096-ptr_max
PARAM_VALUE	0	efx->primary->rx_ip_align	0
PARAM_VALUE	0	efx->primary->rx_prefix_size	0,16
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->state	0
PARAM_VALUE	0	efx->primary->type	4096-ptr_max
PARAM_VALUE	0	efx->primary->workqueue	4096-ptr_max
PARAM_VALUE	0	efx->rx_ip_align	0
PARAM_VALUE	0	efx->rx_prefix_size	0,16
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->state	0
PARAM_VALUE	0	efx->type	4096-ptr_max
PARAM_VALUE	0	efx->type->max_dma_mask	70368744177663
PARAM_VALUE	0	efx->type->max_interrupt_mode	0-1
PARAM_VALUE	0	efx->type->mem_bar	2
PARAM_VALUE	0	efx->type->mem_map_size	4096-ptr_max
PARAM_VALUE	0	efx->type->revision	1-2
PARAM_VALUE	0	efx->type->rx_prefix_size	0,16
PARAM_VALUE	0	efx->workqueue	4096-ptr_max
PARAM_VALUE	0	*efx->net_dev->name	0-255
PARAM_VALUE	0	*efx->nic_data->pci_dev2->saved_config_space	0-4294967295
PARAM_VALUE	0	*efx->pci_dev->saved_config_space	0-4294967295
PARAM_VALUE	0	*efx->workqueue_name	0-255
BUF_SIZE	0	efx->nic_data	3304
CAPPED_DATA	0	efx->irq_status.addr	1
CAPPED_DATA	0	efx->pci_dev	1
DATA_SOURCE	0	efx	$0
BIT_INFO	0	efx->fixed_features	0x20,0xffffffffffffffff
BIT_INFO	0	efx->irq_status.dma_addr	0x0,0xfffffffffffffff0
BIT_INFO	0	efx->msg_enable	0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	efx->pci_dev->current_state	0-3[c]
HOST_DATA	0	efx->pci_dev->pcie_flags_reg	0-u16max
NO_OVERFLOW_SIMPLE	0	efx->workqueue->rescuer->task->dl.pi_se->dl_runtime