Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/tcp_output.c tcp_send_synack() -> tcp_ecn_send_synack()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_bind_node->next->pprev 1-u64max
PARAM_VALUE 0 sk->__sk_common.skc_net.net 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 3
PARAM_VALUE 0 sk->sk_userlocks 0-239
PARAM_VALUE 0 sk->tcp_rtx_queue.rb_node 1-u64max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 skb->end