Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ip_output.c ip_append_data() -> __ip_append_data()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 fl4 1310788033161670656,5178491909977321472,7029372175004622848,8356988452214730752,8544932557906923520
PARAM_VALUE 1 fl4->__fl_common.flowic_dscp 0,4-252
PARAM_VALUE 1 fl4->__fl_common.flowic_iif 1
PARAM_VALUE 2 queue 4096-ptr_max
PARAM_VALUE 3 cork 4096-ptr_max
PARAM_VALUE 4 pfrag 4096-ptr_max
PARAM_VALUE 8 transhdrlen 0,8,20
BUF_SIZE 6 from s32min-(-2),1-s32max
BUF_SIZE 6 from s32min-(-2),1-s32max
CAPPED_DATA 0 &sk->sk_write_queue 1
DATA_SOURCE 0 sk $0
DATA_SOURCE 1 fl4 $1
DATA_SOURCE 5 getfrag $2
DATA_SOURCE 6 from $3
DATA_SOURCE 7 length $4
DATA_SOURCE 8 transhdrlen $5 [m]
DATA_SOURCE 9 flags $8
FUZZY_MAX 8 transhdrlen 0
BIT_INFO 9 flags 0x0,0xffffffef
NOSPEC 1 fl4->saddr
HARD_MAX 8 transhdrlen 20
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fl4->__fl_common.flowic_dscp 0,4-252[c]
USER_DATA 1 fl4->saddr 0-u32max
USER_DATA 3 cork->addr 1-u32max[u]
USER_DATA 3 cork->gso_size 0-u16max
USER_DATA 3 cork->priority 0-u32max
USER_DATA 3 cork->tos 0-255
USER_DATA 3 cork->transmit_time 0-9223372036854775807
USER_DATA 3 cork->ttl 1-255
USER_DATA 7 length 0-u16max
USER_DATA 9 flags 0-u32max[c]
UNITS 0 sk unit_byte
UNITS 6 from unit_byte
UNITS 7 length unit_byte
UNITS 8 transhdrlen unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 0 sk

net/ipv4/ip_output.c ip_make_skb() -> __ip_append_data()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 *sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 1 fl4 4096-ptr_max
PARAM_VALUE 2 queue 3960285559952420864
PARAM_VALUE 2 queue->next 3960285559952420864
PARAM_VALUE 2 queue->prev 3960285559952420864
PARAM_VALUE 2 queue->qlen 0
PARAM_VALUE 3 cork 4590563102649614336
PARAM_VALUE 3 cork->dst 1-u64max
PARAM_VALUE 3 cork->length 0
PARAM_VALUE 4 pfrag 4096-ptr_max
PARAM_VALUE 6 from 4096-ptr_max
PARAM_VALUE 7 length 8-65543
PARAM_VALUE 8 transhdrlen 8
BUF_SIZE 1 fl4 56
DATA_SOURCE 0 sk $0
DATA_SOURCE 1 fl4 $1
DATA_SOURCE 3 cork $8
DATA_SOURCE 5 getfrag $2
DATA_SOURCE 6 from $3
DATA_SOURCE 7 length $4
DATA_SOURCE 8 transhdrlen $5
DATA_SOURCE 9 flags $9
BIT_INFO 9 flags 0x0,0xffffffee
NOSPEC 1 fl4->saddr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fl4->__fl_common.flowic_dscp 0,4-252[c]
USER_DATA 1 fl4->saddr 0-u32max
USER_DATA 1 fl4->uli.ports.dport 1-u16max[u]
USER_DATA 3 cork->addr 1-u32max[u]
USER_DATA 3 cork->gso_size 0-u16max
USER_DATA 3 cork->priority 0-u32max
USER_DATA 3 cork->tos 0-255
USER_DATA 3 cork->transmit_time 0-9223372036854775807
USER_DATA 3 cork->ttl 1-255
USER_DATA 7 length 8-65543[c]
USER_DATA 9 flags 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->data_len
UNITS 0 sk unit_byte
UNITS 7 length unit_byte
UNITS 8 transhdrlen unit_byte