Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/sock.c sk_clone() -> sk_filter_charge()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_node.pprev 0
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->ns_tracker 0,4096-ptr_max
PARAM_VALUE 0 sk->sk_backlog.head 0
PARAM_VALUE 0 sk->sk_backlog.len 0
PARAM_VALUE 0 sk->sk_backlog.rmem_alloc.counter 0
PARAM_VALUE 0 sk->sk_backlog.tail 0
PARAM_VALUE 0 sk->sk_bpf_storage 0
PARAM_VALUE 0 sk->sk_callback_lock.magic 3736018669
PARAM_VALUE 0 sk->sk_callback_lock.owner (-1)
PARAM_VALUE 0 sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 0 sk->sk_cgrp_data.cgroup 4096-ptr_max
PARAM_VALUE 0 sk->sk_cgrp_data.cgroup->bpf.refcnt.percpu_count_ptr 1-u64max
PARAM_VALUE 0 sk->sk_cgrp_data.cgroup->self.refcnt.percpu_count_ptr 1-u64max
PARAM_VALUE 0 sk->sk_drop_counters 0,4096-ptr_max
PARAM_VALUE 0 sk->sk_drop_counters->drops0.counter 0
PARAM_VALUE 0 sk->sk_drop_counters->drops1.counter 0
PARAM_VALUE 0 sk->sk_drops.counter 0
PARAM_VALUE 0 sk->sk_dst_cache 0
PARAM_VALUE 0 sk->sk_dst_pending_confirm 0
PARAM_VALUE 0 sk->sk_error_queue.next 4096-ptr_max
PARAM_VALUE 0 sk->sk_error_queue.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_error_queue.qlen 0
PARAM_VALUE 0 sk->sk_forward_alloc 0
PARAM_VALUE 0 sk->sk_lock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.owned 0
PARAM_VALUE 0 sk->sk_lock.wq.head.next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_memcg 0
PARAM_VALUE 0 sk->sk_omem_alloc.counter 0
PARAM_VALUE 0 sk->sk_owner 0
PARAM_VALUE 0 sk->sk_prot_creator 4096-ptr_max
PARAM_VALUE 0 sk->sk_prot_creator->owner 0,4096-ptr_max
PARAM_VALUE 0 sk->sk_prot_creator->slab 0,4096-ptr_max
PARAM_VALUE 0 sk->sk_receive_queue.next 4096-ptr_max
PARAM_VALUE 0 sk->sk_receive_queue.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_receive_queue.qlen 0
PARAM_VALUE 0 sk->sk_reserved_mem 0
PARAM_VALUE 0 sk->sk_reuseport_cb 0
PARAM_VALUE 0 sk->sk_send_head 0
PARAM_VALUE 0 sk->sk_wmem_alloc.refs.counter 1
PARAM_VALUE 0 sk->sk_wmem_queued 0
PARAM_VALUE 0 sk->sk_write_queue.next 4096-ptr_max
PARAM_VALUE 0 sk->sk_write_queue.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_write_queue.qlen 0
PARAM_VALUE 0 sk->sk_zckey.counter 0
PARAM_VALUE 1 fp 1-u64max
BUF_SIZE 0 sk->sk_prot_creator (-1),448
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk r sk_prot_alloc
BIT_INFO 0 sk->sk_userlocks 0x0,0xf7
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
LOCK2 rcu_read
HALF_LOCKED2 sk
HALF_LOCKED2 0 &sk->sk_lock.slock