Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bridge/br_mdb.c br_mdb_flush() -> br_mdb_flush_pgs()

Type Parameter Key Value
PARAM_VALUE 0 br 4096-ptr_max
PARAM_VALUE 0 br->multicast_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 mp 4096-ptr_max
PARAM_VALUE 2 desc 2368634569584418816
DATA_SOURCE 0 br $0
DATA_SOURCE 2 desc $1
PARAM_COMPARE 0 br->dev->ifindex >= $2->port_ifindex
PARAM_COMPARE 2 desc->vid <= $1->addr.vid
NOSPEC 2 desc->port_ifindex
NOSPEC 2 desc->vid
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 desc->port_ifindex 0-u32max
USER_DATA 2 desc->state 0-255
USER_DATA 2 desc->vid 0
LOCK2 bh
LOCK2 0 &br->multicast_lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct net_bridge)->multicast_lock