Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/ip6_flowlabel.c fl6_free_socklist() -> fl_release()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/ipv6/ip6_flowlabel.c ipv6_flowlabel_get() -> fl_release()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
CAPPED_DATA 0 fl->label 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 fl->label 0-1048574[c]
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
CAPPED_DATA 0 fl->label 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/ipv6/ip6_flowlabel.c ipv6_flowlabel_renew() -> fl_release()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->users.counter 0-s32max
CAPPED_DATA 0 fl->fl_net 1
CAPPED_DATA 0 fl->label 1
DATA_SOURCE 0 fl r fl_lookup
NS_CAPABLE 0 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 fl->linger 1500-16383750[c]
HALF_LOCKED2 sk