Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/bridge/br_if.c br_add_if() -> br_fdb_sync_static()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | br | 4096-ptr_max |
| PARAM_VALUE | 0 | br->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | br->port_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | br->port_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | p | 4096-ptr_max |
| PARAM_VALUE | 1 | p->br | 4096-ptr_max |
| PARAM_VALUE | 1 | p->br->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | p->br->multicast_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | p->config_pending | 0 |
| PARAM_VALUE | 1 | p->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | p->dev->addr_len | 6 |
| PARAM_VALUE | 1 | p->dev->dev_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | p->dev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | p->dev->priv_flags | 4096-u32max |
| PARAM_VALUE | 1 | p->dev->type | 1 |
| PARAM_VALUE | 1 | p->dev_tracker | 0,4096-ptr_max |
| PARAM_VALUE | 1 | p->flags | 18528 |
| PARAM_VALUE | 1 | p->forward_delay_timer.entry.pprev | 0 |
| PARAM_VALUE | 1 | p->forward_delay_timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | p->forward_delay_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | p->hold_timer.entry.pprev | 0 |
| PARAM_VALUE | 1 | p->hold_timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | p->hold_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | p->kobj.entry.next | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | p->kobj.kset->list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.kset->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.kset->list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.kset->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | p->kobj.ktype | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.name | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.parent | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.sd | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 1 | p->kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 1 | p->kobj.sd->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | p->kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 1 | p->kobj.state_in_sysfs | 1 |
| PARAM_VALUE | 1 | p->kobj.state_initialized | 1 |
| PARAM_VALUE | 1 | p->kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 1 | p->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | p->list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | p->mcast_stats | 4096-ptr_max |
| PARAM_VALUE | 1 | p->message_age_timer.entry.pprev | 0 |
| PARAM_VALUE | 1 | p->message_age_timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | p->message_age_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | p->multicast_ctx.ip4_mc_router_timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | p->multicast_ctx.ip4_mc_router_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | p->multicast_ctx.ip4_own_query.timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | p->multicast_ctx.ip4_own_query.timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | p->multicast_ctx.ip6_mc_router_timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | p->multicast_ctx.ip6_mc_router_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | p->multicast_ctx.ip6_own_query.timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | p->multicast_ctx.ip6_own_query.timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | p->multicast_ctx.multicast_router | 1 |
| PARAM_VALUE | 1 | p->multicast_ctx.port | 4096-ptr_max |
| PARAM_VALUE | 1 | p->multicast_ctx.vlan | 0 |
| PARAM_VALUE | 1 | p->multicast_ctx.vlan->br | 4096-ptr_max |
| PARAM_VALUE | 1 | p->multicast_ctx.vlan->brvlan | 4096-ptr_max |
| PARAM_VALUE | 1 | p->multicast_ctx.vlan->port | 4096-ptr_max |
| PARAM_VALUE | 1 | p->multicast_eht_hosts_limit | 512 |
| PARAM_VALUE | 1 | p->path_cost | 2-5,7,19,100,2500 |
| PARAM_VALUE | 1 | p->port_no | 0-64 |
| PARAM_VALUE | 1 | p->priority | 32 |
| PARAM_VALUE | 1 | p->state | 0,4 |
| PARAM_VALUE | 1 | p->sysfs_name | 1-u64max |
| PARAM_VALUE | 1 | p->topology_change_ack | 0 |
| PARAM_VALUE | 1 | *p->dev->name | 0 |
| PARAM_VALUE | 1 | *p->sysfs_name | 0-255 |
| BUF_SIZE | 1 | p | 1392 |
| CAPPED_DATA | 1 | p | 1 |
| CAPPED_DATA | 1 | p->kobj.sd | 1 |
| CAPPED_DATA | 1 | p->port_no | 1 |
| DATA_SOURCE | 0 | br | $0 [m] |
| DATA_SOURCE | 1 | p | r new_nbp |
| BIT_INFO | 1 | p->dev->priv_flags | 0x1000,0xffffffff |
| NOSPEC | 1 | p->dev->ifindex | |
| NOSPEC | 1 | p->multicast_ctx.vlan->vid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | p->dev->flags | 0-527361[c] |
| USER_DATA | 1 | p->dev->ifindex | 0-s32max[c] |
| USER_DATA | 1 | p->dev->mtu | 0-s32max[c] |
| USER_DATA | 1 | p->multicast_ctx.port->designated_port | 0-65534[c] |
| USER_DATA | 1 | p->multicast_ctx.vlan->flags | 1-65533[c] |
| USER_DATA | 1 | p->multicast_ctx.vlan->vid | 1-4094 |
| NO_OVERFLOW_SIMPLE | 1 | p->dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | p->dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 1 | p->dev->real_num_rx_queues | |
| HALF_LOCKED2 | global &rtnl_mutex |
net/bridge/br_if.c br_port_clear_promisc() -> br_fdb_sync_static()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | p | 4096-ptr_max |
| PARAM_VALUE | 1 | p->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | p->dev->ethtool_ops->op_needs_rtnl | 0,8,156,256,268,270,320,365 |
| PARAM_VALUE | 1 | p->dev->ethtool_ops->rxfh_max_num_contexts | 0,2,8,16,33 |
| PARAM_VALUE | 1 | p->dev->ethtool_ops->rxfh_priv_size | 0,8,176 |
| PARAM_VALUE | 1 | p->dev->ethtool_ops->supported_coalesce_params | 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563,595,597,1553,1587,1681,132625,135697,657041,677393,2029107,2097665,2300433,2300595,3653155,12583935,12584499,13239859,117440512,536872499,s32max |
| PARAM_VALUE | 1 | p->dev->ethtool_ops->supported_input_xfrm | 0-2 |
| PARAM_VALUE | 1 | p->dev->ethtool_ops->supported_ring_params | 0,3,5,12,20,32-33,96 |
| PARAM_VALUE | 1 | p->dev->priv_flags | 4096-u32max |
| PARAM_VALUE | 1 | p->dev->rtnl_link_ops->priv_size | 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max |
| DATA_SOURCE | 1 | p | $0 |
| BIT_INFO | 1 | p->dev->priv_flags | 0x1000,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &rtnl_mutex |