Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/syncookies.c check_tcp_syn_cookie() -> cookie_hash()

Type Parameter Key Value
PARAM_VALUE 4 count 0
PARAM_VALUE 5 c 0
DATA_SOURCE 0 saddr $1
DATA_SOURCE 1 daddr $2
DATA_SOURCE 2 sport $3
DATA_SOURCE 3 dport $4
RX_PATH
TASK_NOT_RUNNING
UNITS 0 saddr unit_byte
UNITS 1 daddr unit_byte

net/ipv4/syncookies.c check_tcp_syn_cookie() -> cookie_hash()

Type Parameter Key Value
PARAM_VALUE 5 c 1
DATA_SOURCE 0 saddr $1
DATA_SOURCE 1 daddr $2
DATA_SOURCE 2 sport $3
DATA_SOURCE 3 dport $4
RX_PATH
TASK_NOT_RUNNING
UNITS 0 saddr unit_byte
UNITS 1 daddr unit_byte

net/ipv4/syncookies.c secure_tcp_syn_cookie() -> cookie_hash()

Type Parameter Key Value
PARAM_VALUE 4 count 0
PARAM_VALUE 5 c 0
DATA_SOURCE 0 saddr $0
DATA_SOURCE 1 daddr $1
DATA_SOURCE 2 sport $2
DATA_SOURCE 3 dport $3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 saddr unit_byte
UNITS 1 daddr unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv4/syncookies.c secure_tcp_syn_cookie() -> cookie_hash()

Type Parameter Key Value
PARAM_VALUE 5 c 1
DATA_SOURCE 0 saddr $0
DATA_SOURCE 1 daddr $1
DATA_SOURCE 2 sport $2
DATA_SOURCE 3 dport $3
DATA_SOURCE 4 count r tcp_cookie_time
RX_PATH
TASK_NOT_RUNNING
UNITS 0 saddr unit_byte
UNITS 1 daddr unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv6/syncookies.c check_tcp_syn_cookie() -> cookie_hash()

Type Parameter Key Value
PARAM_VALUE 4 count 0
PARAM_VALUE 5 c 0
DATA_SOURCE 0 saddr $1
DATA_SOURCE 1 daddr $2
DATA_SOURCE 2 sport $3
DATA_SOURCE 3 dport $4
RX_PATH
TASK_NOT_RUNNING

net/ipv6/syncookies.c check_tcp_syn_cookie() -> cookie_hash()

Type Parameter Key Value
PARAM_VALUE 0 saddr 4096-ptr_max
PARAM_VALUE 1 daddr 4096-ptr_max
PARAM_VALUE 5 c 1
DATA_SOURCE 0 saddr $1
DATA_SOURCE 1 daddr $2
DATA_SOURCE 2 sport $3
DATA_SOURCE 3 dport $4
RX_PATH
TASK_NOT_RUNNING

net/ipv6/syncookies.c secure_tcp_syn_cookie() -> cookie_hash()

Type Parameter Key Value
PARAM_VALUE 4 count 0
PARAM_VALUE 5 c 0
DATA_SOURCE 0 saddr $0
DATA_SOURCE 1 daddr $1
DATA_SOURCE 2 sport $2
DATA_SOURCE 3 dport $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv6/syncookies.c secure_tcp_syn_cookie() -> cookie_hash()

Type Parameter Key Value
PARAM_VALUE 0 saddr 4096-ptr_max
PARAM_VALUE 1 daddr 4096-ptr_max
PARAM_VALUE 5 c 1
DATA_SOURCE 0 saddr $0
DATA_SOURCE 1 daddr $1
DATA_SOURCE 2 sport $2
DATA_SOURCE 3 dport $3
DATA_SOURCE 4 count r tcp_cookie_time
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read