Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/tipc/node.c tipc_skb_queue_splice_tail_init() -> tipc_skb_queue_splice_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 4073291586769772544
PARAM_VALUE 0 list->next 4073291586769772544
DATA_SOURCE 1 head $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &n->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock

net/tipc/link.c tipc_link_input() -> tipc_skb_queue_splice_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 7685529750864007168
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 4096-ptr_max
DATA_SOURCE 1 head $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 head->prev->end
NO_OVERFLOW_SIMPLE 1 head->prev->len
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read