Defined in 1 files as a function:

Referenced in 16 files:

Smatch caller information:

net/ipv4/tcp_cong.c tcp_cong_avoid_ai() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_cong.c tcp_cong_avoid_ai() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_cong.c tcp_cong_avoid_ai() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
CAPPED_DATA 0 tp->snd_ssthresh 1
CAPPED_DATA 1 val 1
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_cong.c tcp_slow_start() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 0-4294967294
CAPPED_DATA 0 tp->snd_ssthresh 1
CAPPED_DATA 1 val 1
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_yeah.c tcp_yeah_cong_avoid() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_yeah.c tcp_yeah_cong_avoid() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_lp.c tcp_lp_pkts_acked() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_lp.c tcp_lp_pkts_acked() -> tcp_snd_cwnd_set()

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

net/core/filter.c bpf_sol_tcp_setsockopt() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 val 1-s32max
CAPPED_DATA 0 tp->data_segs_out 1
PARAM_COMPARE 0 tp->data_segs_out <= $0->syn_data
NOCHECK_CALL

net/ipv4/tcp.c tcp_disconnect() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 val 10
CAPPED_DATA 0 tp->write_seq 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_init_sock() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 val 10
BIT_INFO 0 tp->out_of_order_queue 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &bt_proto_lock

net/ipv4/tcp_highspeed.c hstcp_cong_avoid() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 0-4294967294
PARAM_VALUE 1 val 1-u32max
CAPPED_DATA 0 tp->snd_ssthresh 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

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

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

net/ipv4/tcp_input.c tcp_end_cwnd_reduction() -> tcp_snd_cwnd_set()

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

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

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

net/ipv4/tcp_input.c tcp_fastretrans_alert() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
CAPPED_DATA 0 tp->mtu_probe.probe_seq_start 1
CAPPED_DATA 0 tp->snd_una 1
PARAM_COMPARE 0 tp->mtu_probe.probe_seq_start == $0->snd_una
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_input.c tcp_init_transfer() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv4/tcp_input.c tcp_init_transfer() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
CAPPED_DATA 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv4/tcp_input.c tcp_mtup_probe_success() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_input.c tcp_undo_cwnd_reduction() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_htcp.c htcp_cong_avoid() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 0-33554431
PARAM_VALUE 1 val 1-33554432
CAPPED_DATA 0 tp->snd_ssthresh 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_vegas.c tcp_vegas_cong_avoid() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 0-4294967294
PARAM_VALUE 1 val 0-4294967294
CAPPED_DATA 0 tp->snd_ssthresh 1
CAPPED_DATA 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_vegas.c tcp_vegas_cong_avoid() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_vegas.c tcp_vegas_cong_avoid() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_vegas.c tcp_vegas_cong_avoid() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 0-1
PARAM_VALUE 1 val 2
CAPPED_DATA 0 tp->snd_ssthresh 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_vegas.c tcp_vegas_cong_avoid() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 2-u32max
PARAM_VALUE 1 val 0-4294967294
CAPPED_DATA 0 tp->snd_cwnd_clamp 1
CAPPED_DATA 0 tp->snd_ssthresh 1
CAPPED_DATA 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_westwood.c tcp_westwood_event() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 val 2-u32max
DATA_SOURCE 1 val r tcp_westwood_bw_rttmin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_veno.c tcp_veno_cong_avoid() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 0-4294967294
PARAM_VALUE 1 val 1-u32max
CAPPED_DATA 0 tp->snd_ssthresh 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_veno.c tcp_veno_cong_avoid() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 0-1
PARAM_VALUE 1 val 2
CAPPED_DATA 0 tp->snd_ssthresh 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_veno.c tcp_veno_cong_avoid() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 2-u32max
PARAM_VALUE 1 val 0-4294967294
CAPPED_DATA 0 tp->snd_cwnd_clamp 1
CAPPED_DATA 0 tp->snd_ssthresh 1
CAPPED_DATA 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_illinois.c tcp_illinois_cong_avoid() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 0-33554431
PARAM_VALUE 1 val 0-67108862
CAPPED_DATA 0 tp->snd_ssthresh 1
CAPPED_DATA 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_hybla.c hybla_cong_avoid() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_hybla.c hybla_cong_avoid() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_hybla.c hybla_cong_avoid() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_hybla.c hybla_cong_avoid() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_hybla.c hybla_cong_avoid() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_hybla.c hybla_init() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 1 val 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/ipv4/tcp_hybla.c hybla_init() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 2
PARAM_VALUE 1 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/ipv4/tcp_bbr.c bbr_check_probe_rtt_done() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_bbr.c bbr_set_cwnd() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_bbr.c bbr_set_cwnd() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_nv.c tcpnv_acked() -> tcp_snd_cwnd_set()

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

net/ipv4/tcp_nv.c tcpnv_acked() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 1-u32max
PARAM_VALUE 1 val 0-4294967294
CAPPED_DATA 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_nv.c tcpnv_acked() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 0-4294967294
PARAM_VALUE 1 val 1-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_output.c tcp_cwnd_application_limited() -> tcp_snd_cwnd_set()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->snd_cwnd 1-u32max
PARAM_VALUE 1 val 0-s32max
NOCHECK_CALL

net/ipv4/tcp_output.c tcp_cwnd_restart() -> tcp_snd_cwnd_set()

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

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

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