Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ipc6 4941898643751067648
PARAM_VALUE 1 sk 4096-ptr_max
CAPPED_DATA 1 sk 1
DATA_SOURCE 1 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.len
UNITS 1 sk unit_byte

net/ipv6/ping.c ping_v6_sendmsg() -> ipcm6_init_sk()

Type Parameter Key Value
PARAM_VALUE 0 ipc6 2189001213010419712
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_state 1
CAPPED_DATA 1 sk 1
DATA_SOURCE 1 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.len
UNITS 1 sk unit_byte
HALF_LOCKED2 &vq->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 ipc6 9175465522676625408
PARAM_VALUE 1 sk 4096-ptr_max
CAPPED_DATA 1 sk 1
DATA_SOURCE 1 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.len
UNITS 1 sk unit_byte
HALF_LOCKED2 &vq->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 ipc6 5497335225115070464
PARAM_VALUE 1 sk 4096-ptr_max
CAPPED_DATA 1 sk 1
DATA_SOURCE 1 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.len
UNITS 1 sk unit_byte
HALF_LOCKED2 &vq->mutex

net/ipv6/icmp.c icmp6_send() -> ipcm6_init_sk()

Type Parameter Key Value
PARAM_VALUE 0 ipc6 1660784924244668416
BUF_SIZE 1 sk 0
CAPPED_DATA 1 sk->__sk_common.skc_net.net 1
DATA_SOURCE 1 sk r icmpv6_xmit_lock
BIT_INFO 1 sk 0x0,0x0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &x->lock

net/ipv6/icmp.c icmpv6_echo_reply() -> ipcm6_init_sk()

Type Parameter Key Value
PARAM_VALUE 0 ipc6 409532831159685120
PARAM_VALUE 1 sk->__sk_common.skc_state 0-5,7-255
BUF_SIZE 1 sk 0
CAPPED_DATA 1 sk->__sk_common.skc_net.net 1
DATA_SOURCE 1 sk r icmpv6_xmit_lock
BIT_INFO 1 sk 0x0,0x0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh