Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/ipv6/udp.c udpv6_err() -> ip6_sk_accept_pmtu()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max

net/ipv6/tcp_ipv6.c tcp_v6_err() -> ip6_sk_accept_pmtu()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0-5,8-9,11,13-255
CAPPED_DATA 0 sk->__sk_common.skc_hash 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk r __inet6_lookup_established
PREEMPT_ADD <- disables preempt
LOCK2 0 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

net/sctp/ipv6.c sctp_v6_err_handle() -> ip6_sk_accept_pmtu()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte