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_msg() -> batadv_tp_ack_unordered()

Type Parameter Key Value
PARAM_VALUE 0 tp_vars 4096-ptr_max
PARAM_VALUE 0 tp_vars->ack_seqno_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tp_vars->common.refcount.refcount.refs.counter (-1073741824),0-s32max
BUF_SIZE 0 tp_vars (-1),256
BUF_SIZE 0 tp_vars (-1),256
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *tp_vars->common.other_end 0-255
USER_DATA 0 *tp_vars->common.session 0-255
USER_PTR 0 tp_vars->common.session
LOCK2 bh
LOCK2 0 &tp_vars->ack_seqno_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct batadv_tp_receiver)->ack_seqno_lock