Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/bonding/bond_3ad.c ad_rx_machine() -> __record_default()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->actor_oper_port_key 1-u16max
PARAM_VALUE 0 port->slave 1-u64max
PARAM_VALUE 0 port->sm_rx_state 1
PARAM_VALUE 0 port->sm_vars 0-65279
PARAM_VALUE 0 *port->slave->bond->dev->name 0-255
BUF_SIZE 0 port 256
DATA_SOURCE 0 port $1
BIT_INFO 0 port->sm_vars 0x0,0xfeff
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &bond->mode_lock
HALF_LOCKED2 &slave->bond->mode_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct bonding)->mode_lock

drivers/net/bonding/bond_3ad.c ad_rx_machine() -> __record_default()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->slave 1-u64max
PARAM_VALUE 0 port->sm_rx_state 3
PARAM_VALUE 0 port->sm_vars 0,2-65278
PARAM_VALUE 0 *port->slave->bond->dev->name 0-255
BUF_SIZE 0 port 256
DATA_SOURCE 0 port $1
BIT_INFO 0 port->sm_vars 0x0,0xfefe
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &bond->mode_lock
HALF_LOCKED2 &slave->bond->mode_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct bonding)->mode_lock

drivers/net/bonding/bond_3ad.c ad_rx_machine() -> __record_default()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->slave 1-u64max
PARAM_VALUE 0 port->sm_rx_state 5
PARAM_VALUE 0 *port->slave->bond->dev->name 0-255
BUF_SIZE 0 port 256
DATA_SOURCE 0 port $1
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &bond->mode_lock
HALF_LOCKED2 &slave->bond->mode_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct bonding)->mode_lock