Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/bonding/bond_main.c __bond_release_one() -> bond_alb_deinit_slave()

Type Parameter Key Value
PARAM_VALUE 0 bond 4096-ptr_max
PARAM_VALUE 0 bond->current_arp_slave 0
PARAM_VALUE 0 bond->dev 4096-ptr_max
PARAM_VALUE 0 bond->dev->priv->stats_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bond->dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 bond->dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 bond->params.mode 5-6
PARAM_VALUE 0 *bond->dev->name 0-255
PARAM_VALUE 1 slave 4096-ptr_max
PARAM_VALUE 1 slave->backup 1
PARAM_VALUE 1 slave->bond 4096-ptr_max
PARAM_VALUE 1 slave->dev 4096-ptr_max
PARAM_VALUE 1 slave->dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 1 slave->dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 1 slave->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728
PARAM_VALUE 1 slave->inactive 1
PARAM_VALUE 1 slave->kobj.sd->__parent 0
PARAM_VALUE 1 slave->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 1 slave->notify_work.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 1 slave->rx_disabled 1
BUF_SIZE 1 slave (-1),1104
BUF_SIZE 1 slave (-1),1104
CAPPED_DATA 0 bond->dev 1
CAPPED_DATA 1 slave 1
CAPPED_DATA 1 slave->dev 1
DATA_SOURCE 1 slave r bond_get_slave_by_dev
PARAM_COMPARE 0 bond->curr_active_slave <= $1
PARAM_COMPARE 0 bond->primary_slave < $1
PARAM_COMPARE 1 slave > $0->primary_slave
PARAM_COMPARE 1 slave >= $0->curr_active_slave
BIT_INFO 0 bond->params.mode 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL