Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/batman-adv/tp_meter.c batadv_tp_recv_ack() -> batadv_tp_sender_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp_vars | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.refcount.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | tp_vars | r batadv_tp_list_find_sender_session |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | tp_vars->cc.last_acked | 0-u32max[u] |
| NO_OVERFLOW_SIMPLE | 0 | tp_vars->cc.cwnd | |
| NO_OVERFLOW_SIMPLE | 0 | tp_vars->cc.ss_threshold | |
| HALF_LOCKED2 | rcu_read |
net/batman-adv/tp_meter.c batadv_tp_send() -> batadv_tp_sender_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp_vars | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv->orig_hash | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv->tp_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tp_vars->common.list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | tp_vars->common.list.pprev | 0 |
| PARAM_VALUE | 0 | tp_vars->common.timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | tp_vars->common.timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | tp_vars->common.timer.function | 0 |
| PARAM_VALUE | 0 | tp_vars->finish_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | tp_vars->finished.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tp_vars->finished.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | tp_vars->finished.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | tp_vars->send_result.counter | 0-255 |
| BUF_SIZE | 0 | tp_vars | 128 |
| BUF_SIZE | 0 | tp_vars | 128 |
| DATA_SOURCE | 0 | tp_vars | $0 |
| NOCHECK_CALL |
net/batman-adv/tp_meter.c batadv_tp_sender_cleanup() -> batadv_tp_sender_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp_vars | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv->tp_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tp_vars->common.list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | tp_vars->common.list.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | tp_vars->common.list.pprev | 0 |
| PARAM_VALUE | 0 | tp_vars->finish_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | tp_vars->send_result.counter | 0-255 |
| BUF_SIZE | 0 | tp_vars | 128,736 |
| BUF_SIZE | 0 | tp_vars | 128,736 |
| BUF_SIZE | 0 | tp_vars->common.bat_priv | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | tp_vars | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/batman-adv/tp_meter.c batadv_tp_sender_cleanup() -> batadv_tp_sender_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp_vars | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv->tp_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tp_vars->common.list.pprev | 0 |
| PARAM_VALUE | 0 | tp_vars->common.timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | tp_vars->common.timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | tp_vars->common.timer.function | 0 |
| PARAM_VALUE | 0 | tp_vars->finish_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | tp_vars->send_result.counter | 0-255 |
| BUF_SIZE | 0 | tp_vars | 128,736 |
| BUF_SIZE | 0 | tp_vars | 128,736 |
| BUF_SIZE | 0 | tp_vars->common.bat_priv | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | &tp_vars->common.timer | 1 |
| DATA_SOURCE | 0 | tp_vars | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/batman-adv/tp_meter.c batadv_tp_start() -> batadv_tp_sender_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp_vars | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->cc.cwnd | 4428 |
| PARAM_VALUE | 0 | tp_vars->cc.dec_cwnd | 0 |
| PARAM_VALUE | 0 | tp_vars->cc.dup_acks | 0 |
| PARAM_VALUE | 0 | tp_vars->cc.fast_recovery | 0 |
| PARAM_VALUE | 0 | tp_vars->cc.last_acked | 4294965295 |
| PARAM_VALUE | 0 | tp_vars->cc.last_sent | 4294965295 |
| PARAM_VALUE | 0 | tp_vars->cc.recover | 4294965295 |
| PARAM_VALUE | 0 | tp_vars->cc.rto | 1000 |
| PARAM_VALUE | 0 | tp_vars->cc.rttvar | 0 |
| PARAM_VALUE | 0 | tp_vars->cc.srtt | 0 |
| PARAM_VALUE | 0 | tp_vars->cc.ss_threshold | 536870912 |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv->mesh_state | 1 |
| PARAM_VALUE | 0 | tp_vars->common.list.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.other_end | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | tp_vars->common.timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | tp_vars->common.timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | tp_vars->finished.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | tp_vars->finished.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->prerandom_offset | 0 |
| PARAM_VALUE | 0 | tp_vars->send_result.counter | 0 |
| PARAM_VALUE | 0 | tp_vars->test_length | 1-u32max |
| PARAM_VALUE | 0 | tp_vars->tot_sent.counter | 0 |
| BUF_SIZE | 0 | tp_vars | 736 |
| BUF_SIZE | 0 | tp_vars->common.bat_priv | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | tp_vars | r _kmalloc_noprof |
| FUZZY_MAX | 0 | tp_vars->test_length | 10000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | *tp_vars->common.other_end | 0-255 |
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &devlink->lock | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &dpll_lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &net_dm_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read |
net/batman-adv/tp_meter.c batadv_tp_start_kthread() -> batadv_tp_sender_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp_vars | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->cc.cwnd | 4428 |
| PARAM_VALUE | 0 | tp_vars->cc.dec_cwnd | 0 |
| PARAM_VALUE | 0 | tp_vars->cc.dup_acks | 0 |
| PARAM_VALUE | 0 | tp_vars->cc.fast_recovery | 0 |
| PARAM_VALUE | 0 | tp_vars->cc.last_acked | 4294965295 |
| PARAM_VALUE | 0 | tp_vars->cc.last_sent | 4294965295 |
| PARAM_VALUE | 0 | tp_vars->cc.recover | 4294965295 |
| PARAM_VALUE | 0 | tp_vars->cc.rto | 1000 |
| PARAM_VALUE | 0 | tp_vars->cc.rttvar | 0 |
| PARAM_VALUE | 0 | tp_vars->cc.srtt | 0 |
| PARAM_VALUE | 0 | tp_vars->cc.ss_threshold | 536870912 |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv->mesh_state | 1 |
| PARAM_VALUE | 0 | tp_vars->common.bat_priv->tp_num.counter | 0-s32max |
| PARAM_VALUE | 0 | tp_vars->common.list.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.other_end | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | tp_vars->common.timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | tp_vars->common.timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | tp_vars->finished.done | 0 |
| PARAM_VALUE | 0 | tp_vars->finished.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | tp_vars->finished.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | tp_vars->finished.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->prerandom_offset | 0 |
| PARAM_VALUE | 0 | tp_vars->send_result.counter | 0 |
| PARAM_VALUE | 0 | tp_vars->test_length | 1-u32max |
| PARAM_VALUE | 0 | tp_vars->tot_sent.counter | 0 |
| BUF_SIZE | 0 | tp_vars | 736 |
| BUF_SIZE | 0 | tp_vars->common.bat_priv | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | tp_vars | $0 |
| FUZZY_MAX | 0 | tp_vars->test_length | 10000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &devlink->lock | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &dpll_lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &net_dm_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read |
net/batman-adv/tp_meter.c batadv_tp_stop() -> batadv_tp_sender_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp_vars | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->common.refcount.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | tp_vars->send_result.counter | 0-s32max |
| DATA_SOURCE | 0 | tp_vars | r batadv_tp_list_find_sender |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &devlink->lock | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &dpll_lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &net_dm_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read |
net/batman-adv/tp_meter.c batadv_tp_stop_all() -> batadv_tp_sender_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp_vars | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->finished.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tp_vars->finished.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | tp_vars->finished.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->finished.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp_vars->more_bytes.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tp_vars->send_result.counter | 0-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &rtnl_mutex |