Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/bonding/bond_main.c bond_arp_send_all() -> bond_verify_device_path()

Type Parameter Key Value
PARAM_VALUE 0 start_dev 4096-ptr_max
PARAM_VALUE 0 *start_dev->name 0-255
PARAM_VALUE 2 level 0
CAPPED_DATA 0 start_dev->nd_net.net 1
PARAM_COMPARE 0 start_dev != $1
PARAM_COMPARE 0 start_dev != $1
PARAM_COMPARE 1 end_dev != $0
UNITS 0 start_dev unit_byte
UNITS 1 end_dev unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

drivers/net/bonding/bond_main.c bond_ns_send_all() -> bond_verify_device_path()

Type Parameter Key Value
PARAM_VALUE 0 start_dev 4096-ptr_max
PARAM_VALUE 0 *start_dev->name 0-255
PARAM_VALUE 2 level 0
CAPPED_DATA 0 start_dev 1
CAPPED_DATA 0 start_dev->nd_net.net 1
PARAM_COMPARE 0 start_dev != $1
PARAM_COMPARE 0 start_dev != $1
PARAM_COMPARE 1 end_dev != $0
UNITS 0 start_dev unit_byte
UNITS 1 end_dev unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

drivers/net/bonding/bond_main.c bond_verify_device_path() -> bond_verify_device_path()

Type Parameter Key Value
PARAM_VALUE 0 start_dev 1-u64max
PARAM_VALUE 1 end_dev->ip6_ptr->ac_list->aca_rt->fib6_node->leaf->fib6_nh->nh_common.nhc_gw_family 0-255
PARAM_VALUE 1 end_dev->ip6_ptr->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 1 end_dev->l3mdev_ops->l3mdev_fib_table 0,4096-ptr_max
PARAM_VALUE 1 end_dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 1 end_dev->ndisc_ops->opt_addr_space 4096-ptr_max
PARAM_VALUE 1 end_dev->ndisc_ops->parse_options 4096-ptr_max
PARAM_VALUE 1 end_dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,33-34,50
DATA_SOURCE 0 start_dev r netdev_upper_get_next_dev_rcu
DATA_SOURCE 1 end_dev $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 end_dev->group
NO_OVERFLOW_SIMPLE 1 end_dev->num_napi_configs
NO_OVERFLOW_SIMPLE 1 end_dev->num_rx_queues
NO_OVERFLOW_SIMPLE 1 end_dev->num_tc
NO_OVERFLOW_SIMPLE 1 end_dev->num_tx_queues
NO_OVERFLOW_SIMPLE 1 end_dev->proto_down
NO_OVERFLOW_SIMPLE 1 end_dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 1 end_dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 1 end_dev->tx_queue_len
UNITS 1 end_dev unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 rcu_read

drivers/net/bonding/bond_alb.c alb_upper_dev_walk() -> bond_verify_device_path()

Type Parameter Key Value
PARAM_VALUE 0 start_dev 4096-ptr_max
PARAM_VALUE 1 end_dev 4096-ptr_max
PARAM_VALUE 1 end_dev->priv_flags 65536-u32max
PARAM_VALUE 2 level 0
DATA_SOURCE 1 end_dev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 end_dev->group
NO_OVERFLOW_SIMPLE 1 end_dev->num_tc
UNITS 0 start_dev unit_byte
UNITS 1 end_dev unit_byte
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 rcu_read