Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/netfilter/nfnetlink_queue.c __nfqnl_enqueue_packet() -> __enqueue_entry()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->copy_mode 1-255
PARAM_VALUE 0 queue->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 queue->queue_maxlen 1-u32max
PARAM_VALUE 0 queue->queue_total 0-4294967294
PARAM_VALUE 1 entry 4096-ptr_max
PARAM_VALUE 1 entry->bridge_dev 0,4096-ptr_max
PARAM_VALUE 1 entry->physin 0,4096-ptr_max
PARAM_VALUE 1 entry->physout 0,4096-ptr_max
PARAM_VALUE 1 entry->skb 4096-ptr_max
PARAM_VALUE 1 entry->skb->ip_summed 0,3
PARAM_VALUE 1 entry->skb_dev 0,4096-ptr_max
PARAM_VALUE 1 entry->state.in 0,4096-ptr_max
PARAM_VALUE 1 entry->state.out 0,4096-ptr_max
PARAM_VALUE 1 entry->state.sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 *entry->skb->dev->name 0-255
BUF_SIZE 1 entry (-1),128,144,164
BUF_SIZE 1 entry (-1),128,144,164
CAPPED_DATA 0 queue->queue_num 1
CAPPED_DATA 0 queue->queue_total 1
CAPPED_DATA 1 entry 1
DATA_SOURCE 0 queue $1
DATA_SOURCE 1 entry $2
PARAM_COMPARE 0 queue->queue_maxlen > $0->queue_total
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 0 &queue->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct nfqnl_instance)->lock