Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/tcp_timer.c tcp_init_xmit_timers() -> inet_csk_init_xmit_timers()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 3,7
PARAM_VALUE 1 retransmit_handler 4788174637898575872
PARAM_VALUE 2 delack_handler 8854502631327756288
PARAM_VALUE 3 keepalive_handler 4338848540898021376
BUF_SIZE 0 sk->__sk_common.skc_net.net (-1),1-s32max
BUF_SIZE 0 sk->sk_prot_creator (-1),448
CAPPED_DATA 0 sk 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
HARD_MAX 0 sk->__sk_common.skc_state 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL