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

Type Parameter Key Value
PARAM_VALUE 0 tp_vars 4096-ptr_max
DATA_SOURCE 0 tp_vars r batadv_tp_list_find_sender_session
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/batman-adv/tp_meter.c batadv_tp_reset_sender_timer() -> batadv_tp_sender_stopped()

Type Parameter Key Value
PARAM_VALUE 0 tp_vars 4096-ptr_max
BUF_SIZE 0 tp_vars (-1),128
BUF_SIZE 0 tp_vars (-1),128
DATA_SOURCE 0 tp_vars $0
RX_PATH
TASK_NOT_RUNNING
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

net/batman-adv/tp_meter.c batadv_tp_send() -> batadv_tp_sender_stopped()

Type Parameter Key Value
PARAM_VALUE 0 tp_vars 4096-ptr_max
BUF_SIZE 0 tp_vars 128
BUF_SIZE 0 tp_vars 128
DATA_SOURCE 0 tp_vars $0

net/batman-adv/tp_meter.c batadv_tp_send() -> batadv_tp_sender_stopped()

Type Parameter Key Value
PARAM_VALUE 0 tp_vars 4096-ptr_max
PARAM_VALUE 0 tp_vars->send_result.counter 0
BUF_SIZE 0 tp_vars 128
BUF_SIZE 0 tp_vars 128
DATA_SOURCE 0 tp_vars $0

net/batman-adv/tp_meter.c batadv_tp_sender_timeout() -> batadv_tp_sender_stopped()

Type Parameter Key Value
PARAM_VALUE 0 tp_vars 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING