Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/bonding/bond_main.c bond_arp_rcv() -> bond_validate_arp()

Type Parameter Key Value
PARAM_VALUE 0 bond 4096-ptr_max
PARAM_VALUE 0 bond->dev 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
CAPPED_DATA 0 bond->dev->addr_len 1
DATA_SOURCE 0 bond $1
DATA_SOURCE 1 slave $2
NOCHECK_CALL
USER_DATA 2 sip 0-255
USER_DATA 3 tip 0-255

drivers/net/bonding/bond_main.c bond_arp_rcv() -> bond_validate_arp()

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->dev 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
CAPPED_DATA 0 bond->dev->addr_len 1
DATA_SOURCE 0 bond $1
DATA_SOURCE 1 slave $2
NOCHECK_CALL
USER_DATA 2 sip 0-255
USER_DATA 3 tip 0-255

drivers/net/bonding/bond_main.c bond_arp_rcv() -> bond_validate_arp()

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->dev 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
CAPPED_DATA 0 bond->dev->addr_len 1
DATA_SOURCE 0 bond $1
DATA_SOURCE 1 slave $2
NOCHECK_CALL
USER_DATA 2 sip 0-255
USER_DATA 3 tip 0-255