Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/af_inet6.c inet6_cleanup_sock() -> fl6_free_socklist()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->__sk_common.skc_prot (-1),448
BUF_SIZE 0 sk->sk_socket->ops (-1),240
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk