Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/socket.c tipc_sk_rcv() -> tipc_sk_enqueue()

Type Parameter Key Value
PARAM_VALUE 0 inputq 4096-ptr_max
PARAM_VALUE 0 inputq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inputq->next 4096-ptr_max
PARAM_VALUE 0 inputq->qlen 1-u32max
PARAM_VALUE 3 xmitq 1334916642675843072
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
BUF_SIZE 0 inputq (-1),96
BUF_SIZE 0 inputq (-1),96
BUF_SIZE 1 sk 1480
CAPPED_DATA 0 inputq 1
DATA_SOURCE 0 inputq $1
DATA_SOURCE 2 dport r tipc_skb_peek_port
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inputq->prev->data_len
NO_OVERFLOW_SIMPLE 0 inputq->prev->end
NO_OVERFLOW_SIMPLE 0 inputq->prev->len
NO_OVERFLOW_SIMPLE 0 inputq->prev->next->data_len
NO_OVERFLOW_SIMPLE 0 inputq->prev->next->end
NO_OVERFLOW_SIMPLE 0 inputq->prev->next->len
NO_OVERFLOW_SIMPLE 0 inputq->prev->next->tail
NO_OVERFLOW_SIMPLE 0 inputq->prev->next->truesize
NO_OVERFLOW_SIMPLE 0 inputq->prev->tail
NO_OVERFLOW_SIMPLE 0 inputq->prev->truesize
UNITS 0 inputq unit_byte
LOCK2 bh
LOCK2 1 &sk->sk_lock.slock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct socket_lock_t)->slock