Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c tcp_v4_connect() -> secure_tcp_seq_and_ts_off()

Type Parameter Key Value
PARAM_VALUE 0 net->ipv4.fib_main->tb_data->kv->key 0-4294967295
PARAM_VALUE 0 net->loopback_dev->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 net->loopback_dev->refcnt_tracker.list.next->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 dport 0-u16max[u]
UNITS 0 net unit_byte
UNITS 1 saddr unit_byte
UNITS 2 daddr unit_byte
HALF_LOCKED2 sk

net/ipv4/tcp_ipv4.c tcp_v4_init_seq_and_ts_off() -> secure_tcp_seq_and_ts_off()

Type Parameter Key Value
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
UNITS 1 saddr unit_byte
UNITS 2 daddr unit_byte
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

drivers/infiniband/hw/irdma/cm.c secure_tcp_seq() -> secure_tcp_seq_and_ts_off()

Type Parameter Key Value
PARAM_VALUE 0 net 1824583183996030976
DATA_SOURCE 1 saddr $0
DATA_SOURCE 2 daddr $1
DATA_SOURCE 3 sport $2
DATA_SOURCE 4 dport $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 sport 0-u16max
USER_DATA 4 dport 0-u16max
HALF_LOCKED2 &dev->puda_cq_lock
HALF_LOCKED2 irq

net/ipv4/syncookies.c cookie_tcp_check() -> secure_tcp_seq_and_ts_off()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv4.sysctl_tcp_syncookies 1-255
PARAM_VALUE 0 net->mib.net_statistics 4096-ptr_max
PARAM_VALUE 0 net->mib.net_statistics->mibs 4096-ptr_max
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
UNITS 1 saddr unit_byte
UNITS 2 daddr unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk