tcp_twsk_unique identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/net/tcp.h, line 398 (as a prototype)

Defined in 1 files as a function:

net/ipv4/tcp_ipv4.c, line 118 (as a function)

Referenced in 2 files:

Smatch caller information:

net/ipv6/inet6_hashtables.c __inet6_check_established() -> tcp_twsk_unique()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->next	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->prev	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_net.net->mctp.bind_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->__sk_common.skc_net.net->mctp.bind_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	sk->__sk_common.skc_net.net->mctp.bind_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	sk->__sk_common.skc_net.net->mctp.bind_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	sk->__sk_common.skc_net.net->mctp.keys_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->__sk_common.skc_node->next->pprev	1-u64max
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.raw_hash->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.smc_hash->lock->owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.smc_hash->lock.dep_map->name	0-255
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.smc_hash->lock.owner	(-1)
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.smc_hash->lock.owner_cpu	4294967295
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.cnts.counter	0-s32max
PARAM_VALUE	0	sk->__sk_common.skc_state	2
PARAM_VALUE	0	sk->__sk_common.skc_u16hashes	0-u32max
PARAM_VALUE	0	sk->listener->sk_bpf_storage->owner_refcnt.refs.counter	s32min-s32max
PARAM_VALUE	0	sk->listener->sk_filter	0
PARAM_VALUE	0	sk->listener->sk_frag.page	0
PARAM_VALUE	0	sk->listener->sk_lock.owned	1
PARAM_VALUE	0	sk->listener->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->listener->sk_owner->refcnt.counter	0-s32max
PARAM_VALUE	0	sk->listener->sk_prot_creator->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	sk->listener->sk_rcu.next	0
PARAM_VALUE	0	sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_reuseport_cb->rcu.func	1-u64max
PARAM_VALUE	0	sk->sk_reuseport_cb->rcu.next	0
PARAM_VALUE	0	*sk->listener->sk_callback_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	1	sktw	4096-ptr_max
PARAM_VALUE	1	sktw->__sk_common.skc_family	10
PARAM_VALUE	1	sktw->__sk_common.skc_state	6
PARAM_VALUE	2	twp	0,8160529763973357568
PARAM_VALUE	2	*twp	0
CAPPED_DATA	0	sk->__sk_common.skc_net.net	1
CAPPED_DATA	1	sktw->__sk_common.skc_hash	1
CAPPED_DATA	1	sktw->__sk_common.skc_net.net	1
DATA_SOURCE	0	sk	$1
DATA_SOURCE	2	twp	$3
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
LOCK2		bh
LOCK2		lock
HALF_LOCKED2		&head->lock
HALF_LOCKED2	0	sk

net/ipv4/inet_hashtables.c __inet_check_established() -> tcp_twsk_unique()

Type	Parameter	Key	Value
PARAM_VALUE	0	sk	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->next	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->prev	4096-ptr_max
PARAM_VALUE	0	sk->__sk_common.skc_net.net->mctp.bind_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->__sk_common.skc_net.net->mctp.bind_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	sk->__sk_common.skc_net.net->mctp.bind_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	sk->__sk_common.skc_net.net->mctp.bind_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	sk->__sk_common.skc_net.net->mctp.keys_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->__sk_common.skc_node->next->pprev	1-u64max
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.raw_hash->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.smc_hash->lock->owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.smc_hash->lock.dep_map->name	0-255
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.smc_hash->lock.owner	(-1)
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.smc_hash->lock.owner_cpu	4294967295
PARAM_VALUE	0	sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.cnts.counter	0-s32max
PARAM_VALUE	0	sk->__sk_common.skc_state	2
PARAM_VALUE	0	sk->__sk_common.skc_u16hashes	0-u32max
PARAM_VALUE	0	sk->listener->sk_bpf_storage->owner_refcnt.refs.counter	s32min-s32max
PARAM_VALUE	0	sk->listener->sk_filter	0
PARAM_VALUE	0	sk->listener->sk_frag.page	0
PARAM_VALUE	0	sk->listener->sk_lock.owned	1
PARAM_VALUE	0	sk->listener->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sk->listener->sk_owner->refcnt.counter	0-s32max
PARAM_VALUE	0	sk->listener->sk_prot_creator->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	sk->listener->sk_rcu.next	0
PARAM_VALUE	0	sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	sk->sk_backlog.head->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	sk->sk_lock.dep_map->name	0-255
PARAM_VALUE	0	sk->sk_reuseport_cb->rcu.func	1-u64max
PARAM_VALUE	0	sk->sk_reuseport_cb->rcu.next	0
PARAM_VALUE	0	*sk->listener->sk_callback_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	1	sktw	4096-ptr_max
PARAM_VALUE	1	sktw->__sk_common.skc_state	6
PARAM_VALUE	2	twp	0,8160529763973357568
PARAM_VALUE	2	*twp	0
CAPPED_DATA	0	sk->__sk_common.skc_net.net	1
CAPPED_DATA	1	sktw->__sk_common.skc_addrpair	1
CAPPED_DATA	1	sktw->__sk_common.skc_hash	1
CAPPED_DATA	1	sktw->__sk_common.skc_net.net	1
DATA_SOURCE	0	sk	$1
DATA_SOURCE	2	twp	$3
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	sk->sk_backlog.len
LOCK2		bh
LOCK2		lock
HALF_LOCKED2		&head->lock
HALF_LOCKED2	0	sk