Defined in 2 files as a function:

Referenced in 6 files:

Smatch caller information:

net/ipv4/tcp_recovery.c tcp_rack_reo_timeout() -> tcp_packets_in_flight()

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

net/ipv4/tcp_recovery.c tcp_rack_reo_timeout() -> tcp_packets_in_flight()

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

net/ipv4/tcp.c tcp_rate_check_app_limited() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &qp->state_lock
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_rate_check_app_limited() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
CAPPED_DATA 0 tp->lost_out 1
PARAM_COMPARE 0 tp->lost_out <= $0->retrans_out
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &qp->state_lock
HALF_LOCKED2 sk

net/ipv4/tcp_input.c tcp_ack() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

net/ipv4/tcp_input.c tcp_cwnd_reduction() -> tcp_packets_in_flight()

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

net/ipv4/tcp_input.c tcp_cwnd_reduction() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock

net/ipv4/tcp_input.c tcp_enter_loss() -> tcp_packets_in_flight()

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

net/ipv4/tcp_input.c tcp_sacktag_write_queue() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
CAPPED_DATA 0 tp->packets_out 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_input.c tcp_should_expand_sndbuf() -> tcp_packets_in_flight()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_bbr.c bbr_check_drain() -> tcp_packets_in_flight()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_bbr.c bbr_set_cwnd_to_recover_or_restore() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_bbr.c bbr_set_cwnd_to_recover_or_restore() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_bbr.c bbr_update_min_rtt() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_bbr.c bbr_update_min_rtt() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_cwnd_test() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING

net/ipv4/tcp_output.c tcp_event_data_sent() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_mtu_probe() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_mtu_probe() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_tso_should_defer() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_tsq_write() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->lost_out 1-u32max
PARAM_VALUE 0 tp->retrans_out 0-4294967294
CAPPED_DATA 0 tp->retrans_out 1
PARAM_COMPARE 0 tp->lost_out > $0->retrans_out
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock

net/ipv4/tcp_output.c tcp_xmit_retransmit_queue() -> tcp_packets_in_flight()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->packets_out 1-u32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_PTR 0 tp->retransmit_skb_hint->data
HALF_LOCKED2 &sk->sk_lock.slock