Open Menu /

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_reset_sender_timer()

Type Parameter Key Value
PARAM_VALUE 0 tp_vars 4096-ptr_max
PARAM_VALUE 0 tp_vars->cc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tp_vars->common.refcount.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 tp_vars->send_result.counter 0
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_reset_sender_timer()

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 4096-ptr_max
PARAM_VALUE 0 tp_vars->common.bat_priv->primary_if 4096-ptr_max
PARAM_VALUE 0 tp_vars->common.bat_priv->primary_if->refcount.refcount.refs.counter (-1073741824),0-s32max
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_timeout() -> batadv_tp_reset_sender_timer()

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.rto 0-59998
PARAM_VALUE 0 tp_vars->cc.ss_threshold 2952-s32max
PARAM_VALUE 0 tp_vars->cc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tp_vars->more_bytes.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tp_vars->send_result.counter 0
FUZZY_MAX 0 tp_vars->cc.ss_threshold 2952
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL