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_fastopen.c tcp_fastopen_defer_connect() -> tcp_fastopen_cookie_check()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_bind_node->pprev 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_net.net 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_nulls_node.pprev 0,4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0-5,7-255
PARAM_VALUE 0 sk->__sk_common.skc_tx_queue_mapping u16max
PARAM_VALUE 0 sk->__sk_common.skc_u16hashes 0-u32max
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
PARAM_VALUE 0 sk->psp_assoc 0-1
PARAM_VALUE 0 sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
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.next->prev 2011684551238094848
PARAM_VALUE 0 sk->sk_error_queue.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_error_queue.prev->next 2011684551238094848
PARAM_VALUE 0 sk->sk_error_queue.qlen 0
PARAM_VALUE 0 sk->sk_filter->rcu.func 1-u64max
PARAM_VALUE 0 sk->sk_filter->rcu.next 0
PARAM_VALUE 0 sk->sk_gso_max_segs 1-u16max
PARAM_VALUE 0 sk->sk_gso_type 1,16
PARAM_VALUE 0 sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 sk->sk_rcu.func 1-u64max
PARAM_VALUE 0 sk->sk_rcu.next 0
PARAM_VALUE 0 sk->sk_reserved_mem 0
PARAM_VALUE 0 sk->sk_reuseport_cb->rcu.func 1-u64max
PARAM_VALUE 0 sk->sk_reuseport_cb->rcu.next 0
PARAM_VALUE 0 sk->sk_security 0
PARAM_VALUE 0 sk->sk_txhash 1-u32max
PARAM_VALUE 1 mss 8497221505819856896
PARAM_VALUE 2 cookie 707905759409352704
PARAM_VALUE 2 cookie->exp 0
PARAM_VALUE 2 cookie->len 0
CAPPED_DATA 0 sk 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
CAPPED_DATA 0 sk->psp_assoc 1
DATA_SOURCE 0 sk $0
HARD_MAX 0 sk->sk_gso_type 16
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
HALF_LOCKED2 0 sk

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

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_userlocks 2-255
PARAM_VALUE 0 sk->tcp_rtx_queue.rb_node 4096-ptr_max
PARAM_VALUE 1 mss 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
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 sk
HALF_LOCKED2 0 sk