Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/ip6_flowlabel.c fl_create() -> fl_shared_exclusive()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->share 1-3,255
BUF_SIZE 0 fl 104
BUF_SIZE 0 fl->opt 0,65-65600,u64max
DATA_SOURCE 0 fl r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fl->linger 1500-16383750[c]
USER_DATA 0 fl->opt->tot_len 66-65600[c]
USER_DATA 0 fl->share 1-3,255
HALF_LOCKED2 sk

net/ipv6/ip6_flowlabel.c fl_free() -> fl_shared_exclusive()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
BUF_SIZE 0 fl (-1),104
BUF_SIZE 0 fl (-1),104
DATA_SOURCE 0 fl $0
NOSPEC 0 fl->label
NOSPEC 0 fl->linger
NOSPEC 0 fl->share
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fl->label 0-1048574[c]
USER_DATA 0 fl->linger 1500-16383750[c]
USER_DATA 0 fl->share 1-3,255[c]
HALF_LOCKED2 bh
HALF_LOCKED2 global &ip6_fl_lock
HALF_LOCKED2 global &pernet_ops_rwsem