Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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->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_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 (-1),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),15
TERMINATED 0 dev->refcnt_tracker.class 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->dev_id 0-15[c]

drivers/net/arcnet/com20020-pci.c com20020pci_remove() -> free_arcdev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 dev->nd_net.net->dev_unreg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->nd_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 0 dev->nd_net.net->rtnl_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->nd_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte