Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/unix/af_unix.c unix_dgram_sendmsg() -> unix_wait_for_peer()

Type Parameter Key Value
PARAM_VALUE 0 other 4096-ptr_max
PARAM_VALUE 0 other->sk_filter 0
PARAM_VALUE 0 other->sk_max_ack_backlog 0-4294967294
PARAM_VALUE 0 other->sk_receive_queue.qlen 1-u32max
PARAM_VALUE 1 timeo s64min-(-1),1-s64max
CAPPED_DATA 0 other 1
CAPPED_DATA 0 other->sk_max_ack_backlog 1
BIT_INFO 0 other->sk_shutdown 0x0,0xfe
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 other->sk_backlog.len
UNITS 0 other unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/unix/af_unix.c unix_stream_connect() -> unix_wait_for_peer()

Type Parameter Key Value
PARAM_VALUE 0 other 4096-ptr_max
PARAM_VALUE 0 other->__sk_common.skc_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 0 other->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 other->__sk_common.skc_net.net->refcnt_tracker.dead 1
PARAM_VALUE 0 other->__sk_common.skc_state 10
PARAM_VALUE 0 other->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 other->sk_callback_lock.dep_map->name 0-255
PARAM_VALUE 0 other->sk_filter->rcu.func 1-u64max
PARAM_VALUE 0 other->sk_filter->rcu.next 0
PARAM_VALUE 0 other->sk_max_ack_backlog 0-4294967294
PARAM_VALUE 0 other->sk_memcg->css.refcnt.data 0,4096-ptr_max
PARAM_VALUE 0 other->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 other->sk_prot_creator->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 other->sk_receive_queue.qlen 1-u32max
PARAM_VALUE 0 other->sk_reuseport_cb->rcu.next 0
PARAM_VALUE 1 timeo s64min-(-1),1-s64max
CAPPED_DATA 0 other->sk_max_ack_backlog 1
DATA_SOURCE 0 other r unix_find_other
BIT_INFO 0 other->sk_shutdown 0x0,0xfe
RX_PATH
TASK_NOT_RUNNING