Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bridge/br_device.c br_dev_setup() -> br_stp_timer_init()

Type Parameter Key Value
PARAM_VALUE 0 br 4096-ptr_max
PARAM_VALUE 0 br->ageing_time 75000
PARAM_VALUE 0 br->bridge_ageing_time 75000
PARAM_VALUE 0 br->bridge_forward_delay 3750
PARAM_VALUE 0 br->bridge_hello_time 500
PARAM_VALUE 0 br->bridge_id.prio 4096-ptr_max
PARAM_VALUE 0 br->bridge_max_age 5000
PARAM_VALUE 0 br->dev 4096-ptr_max
PARAM_VALUE 0 br->dev->addr_assign_type 1
PARAM_VALUE 0 br->dev->addr_len 6
PARAM_VALUE 0 br->dev->dev.type 5148953496529915904
PARAM_VALUE 0 br->dev->ethtool_ops 3268704045478727680
PARAM_VALUE 0 br->dev->features 35253091500265
PARAM_VALUE 0 br->dev->flags 4098
PARAM_VALUE 0 br->dev->hard_header_len 14
PARAM_VALUE 0 br->dev->header_ops 6794436230740078592
PARAM_VALUE 0 br->dev->hw_features 35253091500265
PARAM_VALUE 0 br->dev->lltx 1
PARAM_VALUE 0 br->dev->max_mtu 1500
PARAM_VALUE 0 br->dev->min_header_len 14
PARAM_VALUE 0 br->dev->min_mtu 68
PARAM_VALUE 0 br->dev->mtu 1500
PARAM_VALUE 0 br->dev->needs_free_netdev 1
PARAM_VALUE 0 br->dev->netdev_ops 6812611618348601344
PARAM_VALUE 0 br->dev->netns_immutable 1
PARAM_VALUE 0 br->dev->pcpu_stat_type 2
PARAM_VALUE 0 br->dev->priv_flags 524290
PARAM_VALUE 0 br->dev->tx_queue_len 1000
PARAM_VALUE 0 br->dev->type 1
PARAM_VALUE 0 br->dev->vlan_features 68719411305
PARAM_VALUE 0 br->fake_rtable.dst.dev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->addr_assign_type 1
PARAM_VALUE 0 br->fake_rtable.dst.dev->addr_len 6
PARAM_VALUE 0 br->fake_rtable.dst.dev->adj_list.lower.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->adj_list.lower.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->adj_list.upper.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->adj_list.upper.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->close_list.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->close_list.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->dev.type 5148953496529915904
PARAM_VALUE 0 br->fake_rtable.dst.dev->dev_addrs.list.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->dev_addrs.list.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->ethtool_ops 3268704045478727680
PARAM_VALUE 0 br->fake_rtable.dst.dev->features 35253091500265
PARAM_VALUE 0 br->fake_rtable.dst.dev->flags 4098
PARAM_VALUE 0 br->fake_rtable.dst.dev->gro_ipv4_max_size 65536
PARAM_VALUE 0 br->fake_rtable.dst.dev->gro_max_size 65536
PARAM_VALUE 0 br->fake_rtable.dst.dev->gso_ipv4_max_size 65536
PARAM_VALUE 0 br->fake_rtable.dst.dev->gso_max_segs u16max
PARAM_VALUE 0 br->fake_rtable.dst.dev->gso_max_size 65536
PARAM_VALUE 0 br->fake_rtable.dst.dev->hard_header_len 14
PARAM_VALUE 0 br->fake_rtable.dst.dev->header_ops 6794436230740078592
PARAM_VALUE 0 br->fake_rtable.dst.dev->hw_features 35253091500265
PARAM_VALUE 0 br->fake_rtable.dst.dev->link_watch_list.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->link_watch_list.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->lltx 1
PARAM_VALUE 0 br->fake_rtable.dst.dev->lock.magic 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->lower_level 1
PARAM_VALUE 0 br->fake_rtable.dst.dev->max_mtu 1500
PARAM_VALUE 0 br->fake_rtable.dst.dev->mc.count 0
PARAM_VALUE 0 br->fake_rtable.dst.dev->mc.list.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->mc.list.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->min_header_len 14
PARAM_VALUE 0 br->fake_rtable.dst.dev->min_mtu 68
PARAM_VALUE 0 br->fake_rtable.dst.dev->mtu 1500
PARAM_VALUE 0 br->fake_rtable.dst.dev->napi_list.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->napi_list.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->nd_net.net 1824583183996030976
PARAM_VALUE 0 br->fake_rtable.dst.dev->needs_free_netdev 1
PARAM_VALUE 0 br->fake_rtable.dst.dev->nested_level 0
PARAM_VALUE 0 br->fake_rtable.dst.dev->net_notifier_list.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->net_notifier_list.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->netdev_ops 6812611618348601344
PARAM_VALUE 0 br->fake_rtable.dst.dev->netns_immutable 1
PARAM_VALUE 0 br->fake_rtable.dst.dev->pcpu_refcnt 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->pcpu_stat_type 2
PARAM_VALUE 0 br->fake_rtable.dst.dev->priv_flags 524290
PARAM_VALUE 0 br->fake_rtable.dst.dev->ptype_all.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->ptype_all.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->ptype_specific.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->ptype_specific.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->refcnt_tracker.class 7541498157787627520
PARAM_VALUE 0 br->fake_rtable.dst.dev->refcnt_tracker.no_tracker.refs.counter 1
PARAM_VALUE 0 br->fake_rtable.dst.dev->refcnt_tracker.quarantine_avail 128
PARAM_VALUE 0 br->fake_rtable.dst.dev->refcnt_tracker.untracked.refs.counter 1
PARAM_VALUE 0 br->fake_rtable.dst.dev->rx_mode_addr_cache.list.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->rx_mode_addr_cache.list.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->rx_mode_retry_timer.flags 0-4194302
PARAM_VALUE 0 br->fake_rtable.dst.dev->tso_max_segs u16max
PARAM_VALUE 0 br->fake_rtable.dst.dev->tso_max_size 65536
PARAM_VALUE 0 br->fake_rtable.dst.dev->tx_queue_len 1000
PARAM_VALUE 0 br->fake_rtable.dst.dev->type 1
PARAM_VALUE 0 br->fake_rtable.dst.dev->uc.count 0
PARAM_VALUE 0 br->fake_rtable.dst.dev->uc.list.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->uc.list.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->unlink_list.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->unlink_list.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->unreg_list.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->unreg_list.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->unreg_list_net.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->unreg_list_net.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->upper_level 1
PARAM_VALUE 0 br->fake_rtable.dst.dev->vlan_features 68719411305
PARAM_VALUE 0 br->fake_rtable.dst.dev->work_node.next 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->work_node.prev 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.dev->xdp_zc_max_segs 1
PARAM_VALUE 0 br->fake_rtable.dst.dev_rcu 4096-ptr_max
PARAM_VALUE 0 br->fake_rtable.dst.flags 18
PARAM_VALUE 0 br->fake_rtable.dst.ops 6299912386447638528
PARAM_VALUE 0 br->fake_rtable.dst.ops->check 0
PARAM_VALUE 0 br->fake_rtable.dst.ops->confirm_neigh 0
PARAM_VALUE 0 br->fake_rtable.dst.ops->cow_metrics 3394462896657969152
PARAM_VALUE 0 br->fake_rtable.dst.ops->default_advmss 0
PARAM_VALUE 0 br->fake_rtable.dst.ops->destroy 0
PARAM_VALUE 0 br->fake_rtable.dst.ops->family 2
PARAM_VALUE 0 br->fake_rtable.dst.ops->gc 0
PARAM_VALUE 0 br->fake_rtable.dst.ops->gc_thresh 0
PARAM_VALUE 0 br->fake_rtable.dst.ops->ifdown 0
PARAM_VALUE 0 br->fake_rtable.dst.ops->kmem_cachep 0
PARAM_VALUE 0 br->fake_rtable.dst.ops->link_failure 0
PARAM_VALUE 0 br->fake_rtable.dst.ops->local_out 0
PARAM_VALUE 0 br->fake_rtable.dst.ops->mtu 4240771208510767104
PARAM_VALUE 0 br->fake_rtable.dst.ops->neigh_lookup 3948714059412791296
PARAM_VALUE 0 br->fake_rtable.dst.ops->redirect 4128176712494120960
PARAM_VALUE 0 br->fake_rtable.dst.ops->update_pmtu 3438512241613328384
PARAM_VALUE 0 br->forward_delay 3750
PARAM_VALUE 0 br->group_addr 4096-ptr_max
PARAM_VALUE 0 br->group_fwd_mask 0
PARAM_VALUE 0 br->group_fwd_mask_required 0
PARAM_VALUE 0 br->hello_time 500
PARAM_VALUE 0 br->max_age 5000
PARAM_VALUE 0 br->port_list.next 4096-ptr_max
PARAM_VALUE 0 br->port_list.next->next 4096-ptr_max
PARAM_VALUE 0 br->port_list.prev 4096-ptr_max
PARAM_VALUE 0 br->port_list.prev->next 4096-ptr_max
PARAM_VALUE 0 br->port_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 br->stp_enabled 0
PARAM_VALUE 0 br->stp_mode 0
PARAM_VALUE 0 *br->group_addr 1
NOCHECK_CALL