Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/unix/af_unix.c unix_bind_bsd() -> unix_insert_bsd_socket()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_hash 0-255
PARAM_VALUE 0 sk->__sk_common.skc_node->pprev 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_node.next->pprev 1-u64max
PARAM_VALUE 0 sk->__sk_common.skc_node.pprev 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_u16hashes 0-255
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
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
LOCK2 &u->bindlock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex
TYPE_LOCK (struct unix_sock)->bindlock