Documented in 1 files:

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_3ad.c ad_mux_machine() -> ad_enable_collecting_distributing()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->aggregator 4096-ptr_max
PARAM_VALUE 0 port->aggregator->is_active 1-u16max
PARAM_VALUE 0 port->partner_oper.port_state 8-u16max
PARAM_VALUE 0 port->slave 4096-ptr_max
PARAM_VALUE 0 port->slave->bond->params.coupled_control s32min-(-1),1-s32max
PARAM_VALUE 0 port->sm_mux_state 6
PARAM_VALUE 0 port->sm_vars 256-u16max
PARAM_VALUE 0 *port->slave->bond->dev->name 0-255
PARAM_VALUE 1 update_slave_arr 119606860210290688
BUF_SIZE 0 port 256
DATA_SOURCE 0 port $0
DATA_SOURCE 1 update_slave_arr $1
BIT_INFO 0 port->actor_oper_port_state 0x38,0xff
BIT_INFO 0 port->partner_oper.port_state 0x8,0xffffffffffffffff
BIT_INFO 0 port->sm_vars 0x100,0xffffffffffffffff
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &bond->mode_lock
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct bonding)->mode_lock

drivers/net/bonding/bond_3ad.c ad_mux_machine() -> ad_enable_collecting_distributing()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->partner_oper.port_state 16-u16max
PARAM_VALUE 0 port->slave 4096-ptr_max
PARAM_VALUE 0 port->sm_mux_state 5
PARAM_VALUE 0 port->sm_vars 256-u16max
PARAM_VALUE 0 *port->slave->bond->dev->name 0-255
PARAM_VALUE 1 update_slave_arr 119606860210290688
BUF_SIZE 0 port 256
DATA_SOURCE 0 port $0
DATA_SOURCE 1 update_slave_arr $1
BIT_INFO 0 port->actor_oper_port_state 0x28,0xff
BIT_INFO 0 port->partner_oper.port_state 0x18,0xffff
BIT_INFO 0 port->sm_vars 0x100,0xfffe
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &bond->mode_lock
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct bonding)->mode_lock