Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/tcp_recovery.c tcp_rack_detect_loss() -> tcp_rack_skb_timeout()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 2 reo_wnd 0-536870911
CAPPED_DATA 0 tp->rack.mstamp 1
CAPPED_DATA 0 &tp->tsorted_sent_queue 1
CAPPED_DATA 1 &skb->tcp_tsorted_anchor 1
CAPPED_DATA 2 reo_wnd 1
DATA_SOURCE 2 reo_wnd r tcp_rack_reo_wnd
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock

net/ipv4/tcp_input.c tcp_timeout_mark_lost() -> tcp_rack_skb_timeout()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 2 reo_wnd 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock