Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 15 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c bpf_iter_tcp_put_batch() -> sock_gen_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &seq->lock
TYPE_LOCK (struct seq_file)->lock

net/ipv4/tcp_ipv4.c bpf_iter_tcp_seq_next() -> sock_gen_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &seq->lock
TYPE_LOCK (struct seq_file)->lock

net/ipv4/tcp_diag.c tcp_diag_destroy() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sk->ns_tracker->free_stack_handle 0-4294967295
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk r tcp_diag_find_one_icsk
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/ipv4/tcp_diag.c tcp_diag_dump() -> sock_gen_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/ipv4/tcp_diag.c tcp_diag_dump_one() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sk->ns_tracker->free_stack_handle 0-4294967295
DATA_SOURCE 0 sk r tcp_diag_find_one_icsk
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/ipv4/tcp_diag.c tcp_diag_find_one_icsk() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/ipv6/ip6_offload.c tcp6_check_fraglist_gro() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 10
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 sk->__sk_common.skc_hash 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk r __inet6_lookup_established
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

net/ipv4/tcp_offload.c tcp4_check_fraglist_gro() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 sk->__sk_common.skc_addrpair 1
CAPPED_DATA 0 sk->__sk_common.skc_hash 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk r __inet_lookup_established
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

drivers/net/ethernet/mellanox/mlx5/core/en_accel/ktls_rx.c resync_update_sn() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 10
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 sk->__sk_common.skc_hash 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 bh

net/core/filter.c ____bpf_sk_release() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
NOCHECK_CALL

net/core/filter.c __bpf_sk_lookup() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-ptr_max
PARAM_VALUE 0 sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sk->ns_tracker->free_stack_handle 0-4294967295
DATA_SOURCE 0 sk r __bpf_skc_lookup
NOCHECK_CALL

net/core/filter.c bpf_sk_lookup() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-ptr_max
DATA_SOURCE 0 sk r bpf_skc_lookup
NOCHECK_CALL

net/netfilter/nft_tproxy.c nf_tproxy_sk_is_transparent() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sk->ns_tracker->free_stack_handle 0-4294967295
DATA_SOURCE 0 sk $0
NOCHECK_CALL

net/ipv6/inet6_hashtables.c __inet6_lookup_established() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 10
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 sk->__sk_common.skc_hash 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

net/netfilter/xt_TPROXY.c nf_tproxy_sk_is_transparent() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sk->ns_tracker->free_stack_handle 0-4294967295
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &table->lock
HALF_LOCKED2 bh

drivers/net/ethernet/netronome/nfp/crypto/tls.c nfp_net_tls_rx_resync_req() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 10
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 sk->sk_destruct 4096-ptr_max
CAPPED_DATA 0 sk->__sk_common.skc_hash 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
BIT_INFO 0 sk->sk_shutdown 0x0,0xfe
RX_PATH
NOCHECK_CALL

drivers/net/ethernet/netronome/nfp/crypto/tls.c nfp_net_tls_rx_resync_req() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 10
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 sk->__sk_common.skc_hash 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
RX_PATH
NOCHECK_CALL

net/ipv4/inet_hashtables.c __inet_lookup_established() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 sk->__sk_common.skc_addrpair 1
CAPPED_DATA 0 sk->__sk_common.skc_hash 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

net/ipv4/inet_hashtables.c sock_edemux() -> sock_gen_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &commonring->lock
HALF_LOCKED2 &dlc->lock
HALF_LOCKED2 &fq->q.lock
HALF_LOCKED2 &priv->driver_lock
HALF_LOCKED2 &qp->q.lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &rfcomm_dev_lock
HALF_LOCKED2 global &rfcomm_ioctl_mutex
HALF_LOCKED2 global &rfcomm_mutex
HALF_LOCKED2 rcu_read

net/core/sock.c sock_pfree() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &commonring->lock
HALF_LOCKED2 &dlc->lock
HALF_LOCKED2 &fq->q.lock
HALF_LOCKED2 &priv->driver_lock
HALF_LOCKED2 &qp->q.lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &rfcomm_dev_lock
HALF_LOCKED2 global &rfcomm_ioctl_mutex
HALF_LOCKED2 global &rfcomm_mutex
HALF_LOCKED2 rcu_read

net/netfilter/xt_socket.c socket_match() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-ptr_max
DATA_SOURCE 0 sk r nf_sk_lookup_slow_v4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &table->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/netfilter/xt_socket.c socket_mt6_v1_v2_v3() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-ptr_max
DATA_SOURCE 0 sk r nf_sk_lookup_slow_v6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &table->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/netfilter/nf_queue.c nf_queue_sock_put() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte

net/ipv4/inet_timewait_sock.c inet_twsk_purge() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem
LOCK2 global &tcp_exit_batch_mutex
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

net/netfilter/nft_socket.c nft_socket_eval() -> sock_gen_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-ptr_max
DATA_SOURCE 0 sk r nft_socket_do_lookup
NOCHECK_CALL
UNITS 0 sk unit_byte