Open Menu /

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

net/ipv6/datagram.c ip6_datagram_dst_update() -> fl6_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 fl 0,4096-ptr_max
PARAM_VALUE 0 fl->users.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv6/udp.c udpv6_sendmsg() -> fl6_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 fl 0,4096-ptr_max
PARAM_VALUE 0 fl->users.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/l2tp/l2tp_ip6.c l2tp_ip6_sendmsg() -> fl6_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 fl 0,4096-ptr_max
PARAM_VALUE 0 fl->users.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex

net/l2tp/l2tp_ip6.c l2tp_ip6_sendmsg() -> fl6_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 fl 0,4096-ptr_max
PARAM_VALUE 0 fl->users.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex

net/ipv6/raw.c rawv6_sendmsg() -> fl6_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 fl 0,4096-ptr_max
PARAM_VALUE 0 fl->users.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex

net/ipv6/raw.c rawv6_sendmsg() -> fl6_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 fl 0,4096-ptr_max
PARAM_VALUE 0 fl->users.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex

net/ipv6/tcp_ipv6.c tcp_v6_connect() -> fl6_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 fl 0,4096-ptr_max
PARAM_VALUE 0 fl->users.counter 0-s32max
DATA_SOURCE 0 fl r fl6_sock_lookup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/sctp/ipv6.c sctp_v6_get_dst() -> fl6_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 fl 0,4096-ptr_max
PARAM_VALUE 0 fl->users.counter 0-s32max
DATA_SOURCE 0 fl r fl6_sock_lookup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL