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/syncookies.c cookie_tcp_check() -> cookie_timestamp_decode()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 1 tcp_opt 6712755952086876160
PARAM_VALUE 1 tcp_opt->rcv_tsecr 0-255
PARAM_VALUE 1 tcp_opt->sack_ok 1
PARAM_VALUE 1 tcp_opt->saw_tstamp 0
PARAM_VALUE 1 tcp_opt->smc_ok 1
PARAM_VALUE 1 tcp_opt->snd_wscale 0-14
PARAM_VALUE 1 tcp_opt->wscale_ok 1
DATA_SOURCE 0 net $0
MEM_ZERO 1 tcp_opt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv6/syncookies.c cookie_tcp_check() -> cookie_timestamp_decode()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 1 tcp_opt 3461739717314322432
PARAM_VALUE 1 tcp_opt->rcv_tsecr 0-255
PARAM_VALUE 1 tcp_opt->sack_ok 1
PARAM_VALUE 1 tcp_opt->saw_tstamp 0
PARAM_VALUE 1 tcp_opt->smc_ok 1
PARAM_VALUE 1 tcp_opt->snd_wscale 0-14
PARAM_VALUE 1 tcp_opt->wscale_ok 1
DATA_SOURCE 0 net $0
MEM_ZERO 1 tcp_opt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk