Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/tcp_input.c tcp_ack_update_window() -> tcp_may_update_window()

Type Parameter Key Value
DATA_SOURCE 1 ack $2
DATA_SOURCE 2 ack_seq $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 nwin 0-u16max
UNITS 1 ack unit_byte
UNITS 2 ack_seq unit_byte
UNITS 3 nwin unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_input.c tcp_disordered_ack_check() -> tcp_may_update_window()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
CAPPED_DATA 0 tp->rcv_nxt 1
CAPPED_DATA 0 tp->snd_una 1
CAPPED_DATA 1 ack 1
CAPPED_DATA 2 ack_seq 1
PARAM_COMPARE 1 ack == $0->snd_una
PARAM_COMPARE 2 ack_seq == $0->rcv_nxt
RX_PATH
TASK_NOT_RUNNING
UNITS 1 ack unit_byte
UNITS 2 ack_seq unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk