Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/netfilter/nfnetlink_queue.c __nfqnl_enqueue_packet() -> __dequeue_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->nfqnl_packet_map.tbl | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->queue_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->queue_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->queue_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->queue_maxlen | 1-u32max |
| PARAM_VALUE | 1 | entry | 4096-ptr_max |
| PARAM_VALUE | 1 | entry->bridge_dev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | entry->list.next | 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->nfqnl_packet_map.tbl | 1 |
| CAPPED_DATA | 0 | queue->queue_num | 1 |
| CAPPED_DATA | 1 | entry | 1 |
| DATA_SOURCE | 0 | queue | $1 |
| DATA_SOURCE | 1 | entry | $2 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &queue->lock | |
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct nfqnl_instance)->lock |
net/netfilter/nfnetlink_queue.c find_dequeue_entry() -> __dequeue_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | queue | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | queue->nfqnl_packet_map.p.hashfn | 4096-ptr_max |
| PARAM_VALUE | 1 | entry | 1-u64max |
| CAPPED_DATA | 0 | queue->peer_portid | 1 |
| CAPPED_DATA | 0 | queue->queue_num | 1 |
| DATA_SOURCE | 0 | queue | $0 |
| DATA_SOURCE | 1 | entry | r rhashtable_lookup_fast |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &queue->lock | |
| HALF_LOCKED2 | &nft_net->commit_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct nfqnl_instance)->lock |
net/netfilter/nfnetlink_queue.c nfqnl_flush() -> __dequeue_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | queue | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | entry | 4096-ptr_max |
| CAPPED_DATA | 0 | &queue->queue_list | 1 |
| CAPPED_DATA | 1 | &entry->list | 1 |
| DATA_SOURCE | 0 | queue | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| LOCK2 | 0 | &queue->lock | |
| TYPE_LOCK | (struct nfqnl_instance)->lock |
net/netfilter/nfnetlink_queue.c nfqnl_recv_verdict_batch() -> __dequeue_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | queue | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | entry | 4096-ptr_max |
| CAPPED_DATA | 0 | queue->peer_portid | 1 |
| CAPPED_DATA | 0 | queue->queue_num | 1 |
| CAPPED_DATA | 0 | &queue->queue_list | 1 |
| CAPPED_DATA | 1 | &entry->list | 1 |
| DATA_SOURCE | 0 | queue | r verdict_instance_lookup |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &queue->lock | |
| HALF_LOCKED2 | &nft_net->commit_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct nfqnl_instance)->lock |