Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/core/filter.c ____bpf_tcp_raw_gen_syncookie_ipv6() -> __cookie_v6_init_sequence()

Type Parameter Key Value
PARAM_VALUE 1 th 4096-ptr_max
PARAM_VALUE 2 mssp 2657530313773514752
PARAM_VALUE 2 *mssp 1-u16max
DATA_SOURCE 0 iph $0
DATA_SOURCE 1 th $1

net/ipv6/syncookies.c cookie_v6_init_sequence() -> __cookie_v6_init_sequence()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
PARAM_VALUE 1 th 4096-ptr_max
PARAM_VALUE 2 mssp 4096-ptr_max
DATA_SOURCE 0 iph r ipv6_hdr
DATA_SOURCE 1 th r tcp_hdr
DATA_SOURCE 2 mssp $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/netfilter/nf_synproxy_core.c nf_ipv6_cookie_init_sequence() -> __cookie_v6_init_sequence()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
PARAM_VALUE 1 th 4096-ptr_max
PARAM_VALUE 1 th->syn 1
PARAM_VALUE 2 mssp 8800178576122306560
BUF_SIZE 1 th (-1),20
BUF_SIZE 1 th (-1),20
DATA_SOURCE 0 iph $0
DATA_SOURCE 1 th $1
DATA_SOURCE 2 mssp $2
RX_PATH
TASK_NOT_RUNNING

net/ipv6/tcp_ipv6.c tcp_v6_get_syncookie() -> __cookie_v6_init_sequence()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
PARAM_VALUE 1 th 4096-ptr_max
PARAM_VALUE 1 th->ack 0
PARAM_VALUE 1 th->fin 0
PARAM_VALUE 1 th->rst 0
PARAM_VALUE 1 th->syn 1
PARAM_VALUE 2 mssp 8800478300077846528
PARAM_VALUE 2 *mssp 1-u16max
DATA_SOURCE 0 iph $1
DATA_SOURCE 1 th $2