Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/tcp_input.c tcp_dsack_extend() -> tcp_sack_extend()

Type Parameter Key Value
DATA_SOURCE 1 seq $1
DATA_SOURCE 2 end_seq $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 seq unit_byte
UNITS 2 end_seq unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_input.c tcp_sack_maybe_coalesce() -> tcp_sack_extend()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-ptr_max
BUF_SIZE 0 sp 32
BUF_SIZE 0 sp 32
RX_PATH
TASK_NOT_RUNNING
UNITS 1 seq unit_byte
UNITS 2 end_seq unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_input.c tcp_sack_new_ofo_skb() -> tcp_sack_extend()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-u64max
BUF_SIZE 0 sp (-1),32
BUF_SIZE 0 sp (-1),32
DATA_SOURCE 1 seq $1
DATA_SOURCE 2 end_seq $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 seq unit_byte
UNITS 2 end_seq unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk