Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/ip6_output.c ip6_append_data() -> __ip6_append_data()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0-5,7-255
PARAM_VALUE 1 queue 4096-ptr_max
PARAM_VALUE 2 cork_full 4096-ptr_max
PARAM_VALUE 3 pfrag 4096-ptr_max
PARAM_VALUE 5 from 4096-ptr_max
PARAM_VALUE 7 transhdrlen 0-65543
BUF_SIZE 5 from (-1),16,24
BUF_SIZE 5 from (-1),16,24
CAPPED_DATA 0 &sk->sk_write_queue 1
DATA_SOURCE 0 sk $0
DATA_SOURCE 4 getfrag $1
DATA_SOURCE 5 from $2
DATA_SOURCE 6 length $3
DATA_SOURCE 7 transhdrlen $4 [m]
DATA_SOURCE 8 flags $8
FUZZY_MAX 7 transhdrlen 0
BIT_INFO 8 flags 0x0,0xffffffee
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 cork_full->base.gso_size 0-u16max
USER_DATA 2 cork_full->base.transmit_time 0-9223372036854775807
USER_DATA 2 cork_full->fl.u.ip6.__fl_common.flowic_oif 0
USER_DATA 2 cork_full->fl.u.ip6.__fl_common.flowic_proto 58,135[c][u]
USER_DATA 2 cork_full->fl.u.ip6.flowlabel 0-u32max[c]
USER_DATA 6 length 0-2147549182[c]
USER_DATA 8 flags 0-u32max[c]
UNITS 0 sk unit_byte
UNITS 6 length unit_byte
UNITS 7 transhdrlen unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 sk

net/ipv6/ip6_output.c ip6_make_skb() -> __ip6_append_data()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 queue 4727453607255724032
PARAM_VALUE 1 queue->next 4727453607255724032
PARAM_VALUE 1 queue->prev 4727453607255724032
PARAM_VALUE 1 queue->qlen 0
PARAM_VALUE 2 cork_full 4096-ptr_max
PARAM_VALUE 2 cork_full->base.addr 0
PARAM_VALUE 2 cork_full->base.flags 0,2-u32max
PARAM_VALUE 2 cork_full->base.length 0
PARAM_VALUE 2 cork_full->base.opt 0
PARAM_VALUE 2 cork_full->base6.opt 0,4096-ptr_max
PARAM_VALUE 2 cork_full->base6.opt->tot_len 64
PARAM_VALUE 3 pfrag 4096-ptr_max
DATA_SOURCE 0 sk $0
DATA_SOURCE 2 cork_full $8
DATA_SOURCE 4 getfrag $1
DATA_SOURCE 5 from $2
DATA_SOURCE 8 flags $7
BIT_INFO 8 flags 0x0,0xffffffef