Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/bonding/bond_main.c bond_na_rcv() -> bond_validate_na()

Type Parameter Key Value
PARAM_VALUE 0 bond 4096-ptr_max
PARAM_VALUE 0 bond->recv_probe 1-u64max
PARAM_VALUE 0 *bond->dev->name 0-255
PARAM_VALUE 1 slave 4096-ptr_max
PARAM_VALUE 1 slave->backup 0
BUF_SIZE 1 slave s32min-(-2),1-s32max
BUF_SIZE 1 slave s32min-(-2),1-s32max
BUF_SIZE 2 saddr 16
BUF_SIZE 3 daddr 16
DATA_SOURCE 0 bond $1
DATA_SOURCE 1 slave $2
NOCHECK_CALL

drivers/net/bonding/bond_main.c bond_na_rcv() -> bond_validate_na()

Type Parameter Key Value
PARAM_VALUE 0 bond 4096-ptr_max
PARAM_VALUE 0 bond->curr_active_slave 4096-ptr_max
PARAM_VALUE 0 bond->recv_probe 1-u64max
PARAM_VALUE 0 *bond->dev->name 0-255
PARAM_VALUE 1 slave 4096-ptr_max
PARAM_VALUE 1 slave->backup 1
BUF_SIZE 1 slave s32min-(-2),1-s32max
BUF_SIZE 1 slave s32min-(-2),1-s32max
BUF_SIZE 2 saddr 16
BUF_SIZE 3 daddr 16
DATA_SOURCE 0 bond $1
DATA_SOURCE 1 slave $2
NOCHECK_CALL

drivers/net/bonding/bond_main.c bond_na_rcv() -> bond_validate_na()

Type Parameter Key Value
PARAM_VALUE 0 bond 4096-ptr_max
PARAM_VALUE 0 bond->current_arp_slave 4096-ptr_max
PARAM_VALUE 0 bond->recv_probe 1-u64max
PARAM_VALUE 0 *bond->dev->name 0-255
PARAM_VALUE 1 slave 4096-ptr_max
PARAM_VALUE 1 slave->backup 1
BUF_SIZE 1 slave s32min-(-2),1-s32max
BUF_SIZE 1 slave s32min-(-2),1-s32max
BUF_SIZE 2 saddr 16
BUF_SIZE 3 daddr 16
DATA_SOURCE 0 bond $1
DATA_SOURCE 1 slave $2
NOCHECK_CALL