Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mptcp/protocol.c mptcp_sk_clone_init() -> mptcp_copy_ip_options()

Type Parameter Key Value
PARAM_VALUE 0 newsk 4096-ptr_max
PARAM_VALUE 0 newsk->__sk_common.skc_family 0-9,11-u16max
PARAM_VALUE 0 newsk->mptcp_retransmit_timer.entry.pprev 0
PARAM_VALUE 0 newsk->mptcp_retransmit_timer.flags 0-4194302
PARAM_VALUE 0 newsk->mptcp_retransmit_timer.lockdep_map->name 0-255
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_prot->owner->refcnt.counter 0-s32max
PARAM_VALUE 1 sk->__sk_common.skc_prot->owner->state 0-1,3-u32max
PARAM_VALUE 1 sk->__sk_common.skc_prot->slab->object_size 0-4294967295
PARAM_VALUE 1 sk->sk_bpf_storage 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_filter 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_filter->refcnt.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 newsk 1
CAPPED_DATA 0 newsk->__sk_common.skc_net.net 1
CAPPED_DATA 1 sk->__sk_common.skc_prot->slab 1
DATA_SOURCE 0 newsk r sk_clone_lock
DATA_SOURCE 1 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 sk unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read