Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

net/bridge/br_vlan.c __vlan_add() -> br_multicast_ctx_init()

Type Parameter Key Value
PARAM_VALUE 0 br 4096-ptr_max
PARAM_VALUE 1 vlan 4096-ptr_max
PARAM_VALUE 1 vlan->br 4096-ptr_max
PARAM_VALUE 1 vlan->port 4096-ptr_max
PARAM_VALUE 2 brmctx 4096-ptr_max
BUF_SIZE 1 vlan 1304
BUF_SIZE 1 vlan->stats (-1),32
CAPPED_DATA 0 br->vlgrp 1
DATA_SOURCE 1 vlan $0
NOSPEC 1 vlan->vid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 vlan->flags 1-65533[c]
USER_DATA 1 vlan->vid 1-4094
NO_OVERFLOW_SIMPLE 0 br->vlan_proto
NO_OVERFLOW_SIMPLE 1 vlan->br->vlan_proto
HALF_LOCKED2 global &rtnl_mutex

net/bridge/br_multicast.c br_multicast_init() -> br_multicast_ctx_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->adj_list.lower.next 4096-ptr_max
PARAM_VALUE 0 br->dev->adj_list.lower.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->adj_list.upper.next 4096-ptr_max
PARAM_VALUE 0 br->dev->adj_list.upper.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->close_list.next 4096-ptr_max
PARAM_VALUE 0 br->dev->close_list.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->dev.type 5148953496529915904
PARAM_VALUE 0 br->dev->dev_addrs.list.next 4096-ptr_max
PARAM_VALUE 0 br->dev->dev_addrs.list.prev 4096-ptr_max
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->gro_ipv4_max_size 65536
PARAM_VALUE 0 br->dev->gro_max_size 65536
PARAM_VALUE 0 br->dev->gso_ipv4_max_size 65536
PARAM_VALUE 0 br->dev->gso_max_segs u16max
PARAM_VALUE 0 br->dev->gso_max_size 65536
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->link_watch_list.next 4096-ptr_max
PARAM_VALUE 0 br->dev->link_watch_list.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->lltx 1
PARAM_VALUE 0 br->dev->lock.first_waiter 0
PARAM_VALUE 0 br->dev->lock.magic 4096-ptr_max
PARAM_VALUE 0 br->dev->lock.osq.tail.counter 0
PARAM_VALUE 0 br->dev->lock.owner.counter 0
PARAM_VALUE 0 br->dev->lower_level 1
PARAM_VALUE 0 br->dev->max_mtu 1500
PARAM_VALUE 0 br->dev->mc.count 0
PARAM_VALUE 0 br->dev->mc.list.next 4096-ptr_max
PARAM_VALUE 0 br->dev->mc.list.prev 4096-ptr_max
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->napi_list.next 4096-ptr_max
PARAM_VALUE 0 br->dev->napi_list.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->nd_net.net 1824583183996030976
PARAM_VALUE 0 br->dev->needs_free_netdev 1
PARAM_VALUE 0 br->dev->nested_level 0
PARAM_VALUE 0 br->dev->net_notifier_list.next 4096-ptr_max
PARAM_VALUE 0 br->dev->net_notifier_list.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->netdev_ops 6812611618348601344
PARAM_VALUE 0 br->dev->netns_immutable 1
PARAM_VALUE 0 br->dev->pcpu_refcnt 4096-ptr_max
PARAM_VALUE 0 br->dev->pcpu_stat_type 2
PARAM_VALUE 0 br->dev->priv_flags 524290
PARAM_VALUE 0 br->dev->ptype_all.next 4096-ptr_max
PARAM_VALUE 0 br->dev->ptype_all.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->ptype_specific.next 4096-ptr_max
PARAM_VALUE 0 br->dev->ptype_specific.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->refcnt_tracker.class 7541498157787627520
PARAM_VALUE 0 br->dev->refcnt_tracker.dead 0
PARAM_VALUE 0 br->dev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 br->dev->refcnt_tracker.list.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->refcnt_tracker.no_tracker.refs.counter 1
PARAM_VALUE 0 br->dev->refcnt_tracker.quarantine.next 4096-ptr_max
PARAM_VALUE 0 br->dev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->refcnt_tracker.quarantine_avail 128
PARAM_VALUE 0 br->dev->refcnt_tracker.untracked.refs.counter 1
PARAM_VALUE 0 br->dev->rx_mode_addr_cache.count 0
PARAM_VALUE 0 br->dev->rx_mode_addr_cache.list.next 4096-ptr_max
PARAM_VALUE 0 br->dev->rx_mode_addr_cache.list.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->rx_mode_retry_timer.flags 0-4194302
PARAM_VALUE 0 br->dev->tso_max_segs u16max
PARAM_VALUE 0 br->dev->tso_max_size 65536
PARAM_VALUE 0 br->dev->tx_queue_len 1000
PARAM_VALUE 0 br->dev->type 1
PARAM_VALUE 0 br->dev->uc.count 0
PARAM_VALUE 0 br->dev->uc.list.next 4096-ptr_max
PARAM_VALUE 0 br->dev->uc.list.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->unlink_list.next 4096-ptr_max
PARAM_VALUE 0 br->dev->unlink_list.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->unreg_list.next 4096-ptr_max
PARAM_VALUE 0 br->dev->unreg_list.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->unreg_list_net.next 4096-ptr_max
PARAM_VALUE 0 br->dev->unreg_list_net.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->upper_level 1
PARAM_VALUE 0 br->dev->vlan_features 68719411305
PARAM_VALUE 0 br->dev->work_node.next 4096-ptr_max
PARAM_VALUE 0 br->dev->work_node.prev 4096-ptr_max
PARAM_VALUE 0 br->dev->xdp_zc_max_segs 1
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->hash_max 4096
PARAM_VALUE 0 br->hello_time 500
PARAM_VALUE 0 br->hello_timer.entry.pprev 0
PARAM_VALUE 0 br->hello_timer.flags 0-4194302
PARAM_VALUE 0 br->hello_timer.lockdep_map->name 0-255
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->tcn_timer.entry.pprev 0
PARAM_VALUE 0 br->tcn_timer.flags 0-4194302
PARAM_VALUE 0 br->tcn_timer.lockdep_map->name 0-255
PARAM_VALUE 0 br->topology_change_timer.entry.pprev 0
PARAM_VALUE 0 br->topology_change_timer.flags 0-4194302
PARAM_VALUE 0 br->topology_change_timer.lockdep_map->name 0-255
PARAM_VALUE 0 *br->group_addr 1
PARAM_VALUE 1 vlan 0
PARAM_VALUE 2 brmctx 4096-ptr_max
DATA_SOURCE 0 br $0
STR_LEN 0 br->dev->priv_len (-1)-0,2-11,13-15,29,31
STR_LEN 0 br->dev->refcnt_tracker.class (-1)
TERMINATED 0 br->dev->refcnt_tracker.class 1
TERMINATED 0 br->refcnt_tracker.class 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 br->dev->priv_len 0-s32max[c]
HOST_DATA 0 br->fake_rtable.dst.dev->priv_len 0-s32max[c]
HALF_LOCKED2 &conn->lock
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 &dlci->mutex
HALF_LOCKED2 &dvbnet->ioctl_mutex
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &br_ioctl_mutex
HALF_LOCKED2 global &busdevs_lock
HALF_LOCKED2 global &dsa2_mutex
HALF_LOCKED2 global &func_lock
HALF_LOCKED2 global &fwnet_device_mutex
HALF_LOCKED2 global &init_net.rtnl_mutex
HALF_LOCKED2 global &ioctl_mutex
HALF_LOCKED2 global &ovs_mutex
HALF_LOCKED2 global &pci_rescan_remove_lock
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &ppp_mutex
HALF_LOCKED2 global &probe_disc_mt
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &vlan_ioctl_mutex