Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ip_output.c __ip_flush_pending_frames() -> ip_cork_release()

Type Parameter Key Value
PARAM_VALUE 0 cork 4096-ptr_max
DATA_SOURCE 0 cork $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cork->addr 1-u32max[u]
USER_DATA 0 cork->gso_size 0-u16max
USER_DATA 0 cork->priority 0-255
USER_DATA 0 cork->tos 0-255
USER_DATA 0 cork->transmit_time 0-9223372036854775807
USER_DATA 0 cork->ttl 1-255

net/ipv4/ip_output.c __ip_make_skb() -> ip_cork_release()

Type Parameter Key Value
PARAM_VALUE 0 cork 4096-ptr_max
PARAM_VALUE 0 cork->dst 0
DATA_SOURCE 0 cork $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk