Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/ip6_flowlabel.c ipv6_flowlabel_opt() -> ipv6_flowlabel_put()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 10
PARAM_VALUE 1 freq 2106474987292217344
PARAM_VALUE 1 freq->flr_action 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 freq->__flr_pad 0-u32max
USER_DATA 1 freq->flr_action 1
USER_DATA 1 freq->flr_expires 0-u16max
USER_DATA 1 freq->flr_flags 0-u16max
USER_DATA 1 freq->flr_label 0-u32max
USER_DATA 1 freq->flr_linger 0-u16max
USER_DATA 1 freq->flr_share 0-255
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk