Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/arcnet/com20020-pci.c com20020pci_probe() -> arcnet_set_addr()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->_rx 16,4096-ptr_max
PARAM_VALUE 0 dev->_rx->groups 0,757233477060755456
PARAM_VALUE 0 dev->_rx->mp_params.mp_ops 0,6506451227844239360,7109504027901313024
PARAM_VALUE 0 dev->_tx 16,4096-ptr_max
PARAM_VALUE 0 dev->adj_list.lower.next 4096-ptr_max
PARAM_VALUE 0 dev->adj_list.lower.next->next 4096-ptr_max
PARAM_VALUE 0 dev->adj_list.lower.prev 4096-ptr_max
PARAM_VALUE 0 dev->adj_list.lower.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->adj_list.lower.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->adj_list.upper.next 4096-ptr_max
PARAM_VALUE 0 dev->adj_list.upper.next->next 4096-ptr_max
PARAM_VALUE 0 dev->adj_list.upper.prev 4096-ptr_max
PARAM_VALUE 0 dev->adj_list.upper.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->adj_list.upper.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->base_addr 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 dev->cfg 4096-ptr_max
PARAM_VALUE 0 dev->cfg_pending 4096-ptr_max
PARAM_VALUE 0 dev->close_list.next 4096-ptr_max
PARAM_VALUE 0 dev->close_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->close_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->close_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->close_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.parent 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->driver_data 4096-ptr_max
PARAM_VALUE 0 dev->dev_addrs.list.next 4096-ptr_max
PARAM_VALUE 0 dev->dev_addrs.list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev_addrs.list.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev_addrs.list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev_addrs.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev_port 0-255
PARAM_VALUE 0 dev->ethtool 4096-ptr_max
PARAM_VALUE 0 dev->ethtool_ops 1-u64max
PARAM_VALUE 0 dev->gro_ipv4_max_size 65536
PARAM_VALUE 0 dev->gro_max_size 65536
PARAM_VALUE 0 dev->group 0
PARAM_VALUE 0 dev->gso_ipv4_max_size 65536
PARAM_VALUE 0 dev->gso_max_segs u16max
PARAM_VALUE 0 dev->gso_max_size 65536
PARAM_VALUE 0 dev->link_watch_list.next 4096-ptr_max
PARAM_VALUE 0 dev->link_watch_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->link_watch_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->link_watch_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->link_watch_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->lock.dep_map->name 0-255
PARAM_VALUE 0 dev->lock.first_waiter 0
PARAM_VALUE 0 dev->lock.magic 4096-ptr_max
PARAM_VALUE 0 dev->lock.osq.tail.counter 0
PARAM_VALUE 0 dev->lock.owner.counter 0
PARAM_VALUE 0 dev->lower_level 1
PARAM_VALUE 0 dev->mc.count 0
PARAM_VALUE 0 dev->mc.list.next 4096-ptr_max
PARAM_VALUE 0 dev->mc.list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->mc.list.prev 4096-ptr_max
PARAM_VALUE 0 dev->mc.list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->mc.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->name_assign_type 0
PARAM_VALUE 0 dev->napi_config 16,4096-ptr_max
PARAM_VALUE 0 dev->napi_list.next 4096-ptr_max
PARAM_VALUE 0 dev->napi_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->napi_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->napi_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->napi_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->nd_net.net 1824583183996030976
PARAM_VALUE 0 dev->nested_level 0
PARAM_VALUE 0 dev->net_notifier_list.next 4096-ptr_max
PARAM_VALUE 0 dev->net_notifier_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->net_notifier_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->net_notifier_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->net_notifier_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->netdev_ops 287148284137926656
PARAM_VALUE 0 dev->nf_hooks_egress 0
PARAM_VALUE 0 dev->nf_hooks_ingress 0
PARAM_VALUE 0 dev->num_napi_configs 1-u32max
PARAM_VALUE 0 dev->num_rx_queues 1
PARAM_VALUE 0 dev->num_tx_queues 1
PARAM_VALUE 0 dev->pcpu_refcnt 4096-ptr_max
PARAM_VALUE 0 dev->priv->dev->gro_ipv4_max_size 65536
PARAM_VALUE 0 dev->priv->dev->gro_max_size 65536
PARAM_VALUE 0 dev->priv->dev->gso_ipv4_max_size 65536
PARAM_VALUE 0 dev->priv->dev->gso_max_segs u16max
PARAM_VALUE 0 dev->priv->dev->gso_max_size 65536
PARAM_VALUE 0 dev->priv->dev->lower_level 1
PARAM_VALUE 0 dev->priv->dev->nd_net.net 1824583183996030976
PARAM_VALUE 0 dev->priv->dev->num_napi_configs 1-4294967295
PARAM_VALUE 0 dev->priv->dev->num_rx_queues 1
PARAM_VALUE 0 dev->priv->dev->num_tx_queues 1
PARAM_VALUE 0 dev->priv->dev->priv_flags 131104,655392
PARAM_VALUE 0 dev->priv->dev->priv_len 5008
PARAM_VALUE 0 dev->priv->dev->real_num_rx_queues 1
PARAM_VALUE 0 dev->priv->dev->real_num_tx_queues 1
PARAM_VALUE 0 dev->priv->dev->refcnt_tracker.class 7541498157787627520
PARAM_VALUE 0 dev->priv->dev->refcnt_tracker.no_tracker.refs.counter 1
PARAM_VALUE 0 dev->priv->dev->refcnt_tracker.quarantine_avail 128
PARAM_VALUE 0 dev->priv->dev->refcnt_tracker.untracked.refs.counter 1
PARAM_VALUE 0 dev->priv->dev->rx_mode_retry_timer.flags 0-4194302
PARAM_VALUE 0 dev->priv->dev->tso_max_segs u16max
PARAM_VALUE 0 dev->priv->dev->tso_max_size 65536
PARAM_VALUE 0 dev->priv->dev->tx_queue_len 1-4294967295
PARAM_VALUE 0 dev->priv->dev->upper_level 1
PARAM_VALUE 0 dev->priv->dev->xdp_zc_max_segs 1
PARAM_VALUE 0 dev->priv->timer.entry.pprev 0
PARAM_VALUE 0 dev->priv->timer.flags 0-4194302
PARAM_VALUE 0 dev->priv->timer.lockdep_map->name 0-255
PARAM_VALUE 0 dev->priv_flags 131104,655392
PARAM_VALUE 0 dev->priv_len 5008
PARAM_VALUE 0 dev->ptype_all.next 4096-ptr_max
PARAM_VALUE 0 dev->ptype_all.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ptype_all.prev 4096-ptr_max
PARAM_VALUE 0 dev->ptype_all.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ptype_all.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ptype_specific.next 4096-ptr_max
PARAM_VALUE 0 dev->ptype_specific.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ptype_specific.prev 4096-ptr_max
PARAM_VALUE 0 dev->ptype_specific.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ptype_specific.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->qdisc_hash 4096-ptr_max
PARAM_VALUE 0 dev->real_num_rx_queues 1
PARAM_VALUE 0 dev->real_num_tx_queues 1
PARAM_VALUE 0 dev->refcnt_tracker.class 7541498157787627520
PARAM_VALUE 0 dev->refcnt_tracker.dead 0
PARAM_VALUE 0 dev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.list.prev 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.no_tracker.refs.counter 1
PARAM_VALUE 0 dev->refcnt_tracker.quarantine.next 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.quarantine.next->next 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.quarantine.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.quarantine_avail 128
PARAM_VALUE 0 dev->refcnt_tracker.untracked.refs.counter 1
PARAM_VALUE 0 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 dev->rx_mode_addr_cache.count 0
PARAM_VALUE 0 dev->rx_mode_addr_cache.list.next 4096-ptr_max
PARAM_VALUE 0 dev->rx_mode_addr_cache.list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->rx_mode_addr_cache.list.prev 4096-ptr_max
PARAM_VALUE 0 dev->rx_mode_addr_cache.list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->rx_mode_addr_cache.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->rx_mode_retry_timer.entry.pprev 0
PARAM_VALUE 0 dev->rx_mode_retry_timer.flags 0-4194302
PARAM_VALUE 0 dev->rx_mode_retry_timer.lockdep_map->name 0-255
PARAM_VALUE 0 dev->tso_max_segs u16max
PARAM_VALUE 0 dev->tso_max_size 65536
PARAM_VALUE 0 dev->tx_queue_len 1-u32max
PARAM_VALUE 0 dev->uc.count 0
PARAM_VALUE 0 dev->uc.list.next 4096-ptr_max
PARAM_VALUE 0 dev->uc.list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->uc.list.prev 4096-ptr_max
PARAM_VALUE 0 dev->uc.list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->uc.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->unlink_list.next 4096-ptr_max
PARAM_VALUE 0 dev->unlink_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->unlink_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->unlink_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->unlink_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->unreg_list.next 4096-ptr_max
PARAM_VALUE 0 dev->unreg_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->unreg_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->unreg_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->unreg_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->unreg_list_net.next 4096-ptr_max
PARAM_VALUE 0 dev->unreg_list_net.next->next 4096-ptr_max
PARAM_VALUE 0 dev->unreg_list_net.prev 4096-ptr_max
PARAM_VALUE 0 dev->unreg_list_net.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->unreg_list_net.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->upper_level 1
PARAM_VALUE 0 dev->watchdog_ref_held 0
PARAM_VALUE 0 dev->work_node.next 4096-ptr_max
PARAM_VALUE 0 dev->work_node.next->next 4096-ptr_max
PARAM_VALUE 0 dev->work_node.prev 4096-ptr_max
PARAM_VALUE 0 dev->work_node.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->work_node.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->xdp_zc_max_segs 1
PARAM_VALUE 0 *dev->name 0-255
BUF_SIZE 0 dev s32min-s32max
BUF_SIZE 0 dev->dev.parent 1616
BUF_SIZE 0 dev->netdev_ops 760
CAPPED_DATA 0 dev->dev_port 1
DATA_SOURCE 0 dev r alloc_arcdev
STR_LEN 0 dev->name (-1)
BIT_INFO 0 dev->base_addr 0x0,0x7fffffff
TERMINATED 0 dev->refcnt_tracker.class 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/arcnet/com20020.c com20020_found() -> arcnet_set_addr()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->base_addr 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.parent 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->driver_data 4096-ptr_max
PARAM_VALUE 0 dev->dev_addr 4096-ptr_max
PARAM_VALUE 0 dev->dev_port 0-255
PARAM_VALUE 0 dev->netdev_ops 287148284137926656
PARAM_VALUE 0 dev->priv->backplane 0-1
PARAM_VALUE 0 dev->priv->card_flags 0-2,14
PARAM_VALUE 0 dev->priv->card_name 4612732214108708864
PARAM_VALUE 0 dev->priv->clockm 0-3
PARAM_VALUE 0 dev->priv->clockp 0-7
PARAM_VALUE 0 dev->priv->config 0-255
PARAM_VALUE 0 dev->priv->hw.close 7242382165967843328
PARAM_VALUE 0 dev->priv->hw.command 8169331736418369536
PARAM_VALUE 0 dev->priv->hw.copy_from_card 2120504711239041024
PARAM_VALUE 0 dev->priv->hw.copy_to_card 4848457369069010944
PARAM_VALUE 0 dev->priv->hw.intmask 5001793109581365248
PARAM_VALUE 0 dev->priv->hw.owner 0
PARAM_VALUE 0 dev->priv->hw.reset 7378882833216581632
PARAM_VALUE 0 dev->priv->hw.status 4644096905632059392
PARAM_VALUE 0 dev->priv->setup 0-255
PARAM_VALUE 0 dev->priv->setup2 0-255
PARAM_VALUE 0 dev->priv->timer.entry.pprev 0
PARAM_VALUE 0 dev->priv->timer.flags 0-4194302
PARAM_VALUE 0 dev->priv->timer.lockdep_map->name 0-255
PARAM_VALUE 0 dev->sysfs_groups 4096-ptr_max
PARAM_VALUE 0 *dev->name 0-255
BUF_SIZE 0 dev->dev.parent 1616
BUF_SIZE 0 dev->netdev_ops 760
CAPPED_DATA 0 dev->dev_port 1
DATA_SOURCE 0 dev $0
FUZZY_MAX 0 dev->priv->backplane 1
STR_LEN 0 dev->name (-1),15
BIT_INFO 0 dev->base_addr 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->dev_id 0-15[c]
HOST_DATA 1 addr 0-255