Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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_userlocks 2-255
PARAM_VALUE 0 sk->tcp_rtx_queue.rb_node 4096-ptr_max
PARAM_VALUE 1 syn 4096-ptr_max
PARAM_VALUE 1 syn->data 4096-ptr_max
PARAM_VALUE 1 syn->decrypted 1
PARAM_VALUE 1 syn->ip_summed 3
PARAM_VALUE 1 syn->nohdr 1
PARAM_VALUE 1 syn->rbnode.__rb_parent_color 1
PARAM_VALUE 1 syn->rbnode.rb_left 4096-ptr_max
PARAM_VALUE 1 syn->rbnode.rb_right 4096-ptr_max
PARAM_VALUE 1 syn->tcp_tsorted_anchor.next 4096-ptr_max
PARAM_VALUE 1 syn->tcp_tsorted_anchor.next->next 4096-ptr_max
PARAM_VALUE 1 syn->tcp_tsorted_anchor.prev 4096-ptr_max
PARAM_VALUE 1 syn->tcp_tsorted_anchor.prev->next 4096-ptr_max
PARAM_VALUE 1 syn->tcp_tsorted_anchor.prev->prev 4096-ptr_max
BUF_SIZE 1 syn 320
BUF_SIZE 1 syn 320
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
DATA_SOURCE 0 sk $0
DATA_SOURCE 1 syn r tcp_stream_alloc_skb
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk