Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c tcp_v4_timewait_ack() -> tcp_tw_tsval()

Type Parameter Key Value
PARAM_VALUE 0 tcptw 4096-ptr_max
DATA_SOURCE 0 tcptw $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tcptw unit_byte
HALF_LOCKED2 rcu_read

net/ipv6/tcp_ipv6.c tcp_v6_timewait_ack() -> tcp_tw_tsval()

Type Parameter Key Value
PARAM_VALUE 0 tcptw 4096-ptr_max
DATA_SOURCE 0 tcptw $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tcptw unit_byte