Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/dev_addr_lists.c dev_mc_del() -> __dev_mc_del()

Type Parameter Key Value
PARAM_VALUE 0 dev->netdev_ops->ndo_fdb_del 0,1601512751042326528,2190034336822136832,3914041376362209280,4943624292584730624,6612239752106622976,7096514808514260992
PARAM_VALUE 0 dev->netdev_ops->ndo_fdb_del_bulk 0,3653807925983469568,6417556756298358784
PARAM_VALUE 0 dev->netdev_ops->ndo_set_config 0,1586268954384080896,2133952100825280512,4430316855586635776
PARAM_VALUE 0 dev->rtnl_link_ops->alloc 0,1182153660833808384,3130032447137456128
PARAM_VALUE 0 dev->rtnl_link_ops->get_num_rx_queues 0,1694260139628544000,4559208055891021824,7097615251001798656,8443738062496038912
PARAM_VALUE 0 dev->rtnl_link_ops->get_num_tx_queues 0,1694260139628544000,4559208055891021824,7071371917186535424,8443738062496038912
PARAM_VALUE 0 dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 dev->rtnl_link_ops->peer_type 0-1
PARAM_VALUE 2 global 0
BUF_SIZE 0 dev->nd_net.net (-1),10304,10432
BUF_SIZE 1 addr (-1),6,8,32
BUF_SIZE 1 addr (-1),6,8,32
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 addr $1
STR_LEN 0 dev (-1)
STR_LEN 0 dev (-1)
NOSPEC 0 dev->flags
NOSPEC 0 dev->ifindex
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->flags 0-527362[c]
USER_DATA 0 dev->ifindex 0-s32max[c]
USER_DATA 1 *addr 1-255
NO_OVERFLOW_SIMPLE 0 dev->group
NO_OVERFLOW_SIMPLE 0 dev->mem_start
NO_OVERFLOW_SIMPLE 0 dev->num_tc
NO_OVERFLOW_SIMPLE 0 dev->proto_down
NO_OVERFLOW_SIMPLE 0 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 0 dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 0 dev->tx_queue_len
UNITS 0 dev unit_byte
USER_PTR 1 addr
HALF_LOCKED2 &idev->mc_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &fcoe_config_mutex

net/core/dev_addr_lists.c dev_mc_del_global() -> __dev_mc_del()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->lock.dep_map->name 0-255
PARAM_VALUE 0 dev->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->netdev_ops 4096-ptr_max
PARAM_VALUE 0 dev->netdev_ops->ndo_set_rx_mode_async 0,4096-ptr_max
PARAM_VALUE 2 global 1
BUF_SIZE 1 addr 14
BUF_SIZE 1 addr 14
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 addr $1
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
TYPE_LOCK (struct net)->rtnl_mutex