Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/tcp_output.c tcp_send_syn_data() -> tcp_wmem_schedule()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_net.net 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->psp_assoc 0,4096-ptr_max
PARAM_VALUE 0 sk->sk_dst_cache 4096-ptr_max
PARAM_VALUE 0 sk->sk_dst_cache->ops 4096-ptr_max
PARAM_VALUE 0 sk->sk_err 0
PARAM_VALUE 0 sk->sk_memcg->high_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_memcg->tcpmem_pressure 0-1
PARAM_VALUE 0 sk->sk_sndbuf s32min-(-1),4608-s32max
PARAM_VALUE 0 sk->sk_userlocks 2-255
PARAM_VALUE 0 sk->tcp_rtx_queue.rb_node 4096-ptr_max
CAPPED_DATA 0 sk 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
CAPPED_DATA 0 sk->psp_assoc 1
CAPPED_DATA 0 sk->sk_dst_cache 1
CAPPED_DATA 1 copy 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
UNITS 1 copy unit_byte
HALF_LOCKED2 sk
HALF_LOCKED2 0 sk