Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/bonding/bond_3ad.c bond_3ad_state_machine_handler() -> bond_agg_timer_advance()

Type Parameter Key Value
PARAM_VALUE 0 bond 4096-ptr_max
CAPPED_DATA 0 &bond->dev->adj_list.lower 1
PARAM_COMPARE 0 &bond->dev->adj_list.lower != $0->dev->adj_list.lower.next
PREEMPT_ADD <- disables preempt
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &bond->mode_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct bonding)->mode_lock