Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/bonding/bond_main.c bond_ab_arp_probe() -> bond_send_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bond | 4096-ptr_max |
| PARAM_VALUE | 0 | bond->curr_active_slave | 1-u64max |
| PARAM_VALUE | 0 | bond->current_arp_slave | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bond->params.mode | 1 |
| PARAM_VALUE | 0 | *bond->dev->name | 0-255 |
| PARAM_VALUE | 1 | slave | 1-u64max |
| DATA_SOURCE | 0 | bond | $0 |
| PARAM_COMPARE | 0 | bond->curr_active_slave | == $1 |
| PARAM_COMPARE | 1 | slave | == $0->curr_active_slave |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock |
drivers/net/bonding/bond_main.c bond_ab_arp_probe() -> bond_send_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bond | 4096-ptr_max |
| PARAM_VALUE | 0 | bond->curr_active_slave | 0 |
| PARAM_VALUE | 0 | bond->params.mode | 1 |
| PARAM_VALUE | 0 | *bond->dev->name | 0-255 |
| PARAM_VALUE | 1 | slave | 4096-ptr_max |
| PARAM_VALUE | 1 | slave->bond | 4096-ptr_max |
| PARAM_VALUE | 1 | slave->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | slave->dev->ip6_ptr->mc_query_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | slave->dev->ip6_ptr->mc_query_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | slave->dev->ip6_ptr->mc_query_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | slave->dev->ip6_ptr->mc_report_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | slave->dev->ip6_ptr->mc_report_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | slave->dev->ip6_ptr->mc_report_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | slave->dev->linkwatch_dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | slave->dev->linkwatch_dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | slave->inactive | 0 |
| PARAM_VALUE | 1 | slave->link | (-128)-(-2),0-127 |
| PARAM_VALUE | 1 | slave->link_new_state | 3 |
| PARAM_VALUE | 1 | slave->notify_work.timer.entry->pprev | 4096-ptr_max |
| BUF_SIZE | 1 | slave | 1104 |
| BUF_SIZE | 1 | slave | 1104 |
| DATA_SOURCE | 0 | bond | $0 |
| PARAM_COMPARE | 0 | &bond->dev->adj_list.lower | != $0->dev->adj_list.lower.next |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock |
drivers/net/bonding/bond_main.c bond_loadbalance_arp_mon() -> bond_send_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bond | 4096-ptr_max |
| PARAM_VALUE | 0 | bond->params.mode | s32min-0,2-s32max |
| PARAM_VALUE | 0 | *bond->dev->name | 0-255 |
| PARAM_VALUE | 1 | slave | 4096-ptr_max |
| PARAM_VALUE | 1 | slave->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | slave->link_new_state | (-1)-0,2 |
| BUF_SIZE | 1 | slave | 1104 |
| BUF_SIZE | 1 | slave | 1104 |
| CAPPED_DATA | 0 | &bond->dev->adj_list.lower | 1 |
| DATA_SOURCE | 0 | bond | $0 |
| DATA_SOURCE | 1 | slave | r netdev_lower_get_next_private_rcu |
| PARAM_COMPARE | 0 | &bond->dev->adj_list.lower | != $0->dev->adj_list.lower.next |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock |