Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/tcp_output.c tcp_mss_split_point() -> tcp_nagle_check()

Type Parameter Key Value
PARAM_VALUE 1 tp 4096-ptr_max
DATA_SOURCE 2 nonagle $4
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_nagle_test() -> tcp_nagle_check()

Type Parameter Key Value
PARAM_VALUE 1 tp 4096-ptr_max
CAPPED_DATA 1 tp->snd_una 1
CAPPED_DATA 1 tp->snd_up 1
DATA_SOURCE 1 tp $0
DATA_SOURCE 2 nonagle $3
PARAM_COMPARE 1 tp->snd_una == $1->snd_up
BIT_INFO 2 nonagle 0x0,0xfffffffb
RX_PATH
TASK_NOT_RUNNING