Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/phonet/socket.c pn_socket_bind() -> (struct proto)->bind()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot->bind 1-u64max
BUF_SIZE 1 uaddr (-1),1-s32max
BUF_SIZE 1 uaddr (-1),1-s32max
DATA_SOURCE 1 uaddr $1
DATA_SOURCE 2 addr_len $2
CONTAINER 0 -128-40-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr_len 0-128
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex

net/ipv4/af_inet.c inet_bind_sk() -> (struct proto)->bind()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot->bind 1-u64max
BUF_SIZE 1 uaddr (-1),1-s32max
BUF_SIZE 1 uaddr (-1),1-s32max
DATA_SOURCE 0 sk $0
DATA_SOURCE 1 uaddr $1
DATA_SOURCE 2 addr_len $2
CONTAINER 0 -128-40-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr_len s32min-s32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
HALF_LOCKED2 sk

net/ieee802154/socket.c ieee802154_sock_bind() -> (struct proto)->bind()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot->bind 1-u64max
BUF_SIZE 1 uaddr (-1),1-s32max
BUF_SIZE 1 uaddr (-1),1-s32max
DATA_SOURCE 1 uaddr $1
DATA_SOURCE 2 addr_len $2
CONTAINER 0 -128-40-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr_len 0-128
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex

net/ipv6/af_inet6.c inet6_bind_sk() -> (struct proto)->bind()

Type Parameter Key Value
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot->bind 1-u64max
BUF_SIZE 1 uaddr (-1),1-s32max
BUF_SIZE 1 uaddr (-1),1-s32max
DATA_SOURCE 0 sk $0
DATA_SOURCE 1 uaddr $1
DATA_SOURCE 2 addr_len $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr_len s32min-s32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
HALF_LOCKED2 sk