Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c tcp_rsk_tsval() -> tcp_clock_ts()

Type Parameter Key Value
TASK_NOT_RUNNING

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/ipv4/tcp.c do_tcp_getsockopt() -> tcp_clock_ts()

Type Parameter Key Value
RX_PATH
HALF_LOCKED2 sk

net/ipv4/tcp.c do_tcp_setsockopt() -> tcp_clock_ts()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 usec_ts 0-1[c]
HALF_LOCKED2 sk

net/ipv6/tcp_ipv6.c tcp_rsk_tsval() -> tcp_clock_ts()

Type Parameter Key Value
TASK_NOT_RUNNING

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING