Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/hw/irdma/cm.c secure_tcpv6_seq() -> secure_tcpv6_seq_and_ts_off()

Type Parameter Key Value
PARAM_VALUE 0 net 1824583183996030976
PARAM_VALUE 1 saddr 4096-ptr_max
PARAM_VALUE 2 daddr 4096-ptr_max
BUF_SIZE 1 saddr 16
BUF_SIZE 1 saddr 16
BUF_SIZE 2 daddr 16
BUF_SIZE 2 daddr 16
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/ipv6/syncookies.c cookie_tcp_check() -> secure_tcpv6_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
BUF_SIZE 1 saddr 16
BUF_SIZE 2 daddr 16
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv6/tcp_ipv6.c tcp_v6_connect() -> secure_tcpv6_seq_and_ts_off()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
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
BUF_SIZE 1 saddr 16
BUF_SIZE 2 daddr 16
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 dport 0-u16max[u]
UNITS 0 net unit_byte
HALF_LOCKED2 sk

net/ipv6/tcp_ipv6.c tcp_v6_init_seq_and_ts_off() -> secure_tcpv6_seq_and_ts_off()

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