Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/socket.c sctp_do_bind() -> sctp_sockaddr_af()

Type Parameter Key Value
PARAM_VALUE 0 opt 4096-ptr_max
BUF_SIZE 1 addr (-1)-s32max
BUF_SIZE 1 addr (-1)-s32max
DATA_SOURCE 1 addr $1
DATA_SOURCE 2 len $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr->sa.sa_family 0-u16max[u]
USER_DATA 1 addr->v4.sin_addr.s_addr 0-u32max[u]
USER_DATA 1 addr->v4.sin_family 0-u16max[u]
USER_DATA 1 addr->v4.sin_port 0-u16max[u]
USER_DATA 1 addr->v6.sin6_family 0-u16max[u]
USER_DATA 1 addr->v6.sin6_flowinfo 0-u32max[u]
USER_DATA 1 addr->v6.sin6_port 0-u16max[u]
USER_DATA 1 addr->v6.sin6_scope_id 0-u32max[u]
USER_DATA 2 len s32min-s32max
UNITS 2 len unit_byte
USER_PTR 1 addr
HALF_LOCKED2 sk

net/sctp/socket.c sctp_verify_addr() -> sctp_sockaddr_af()

Type Parameter Key Value
PARAM_VALUE 1 addr 1-u64max
BUF_SIZE 1 addr (-1)-s32max
BUF_SIZE 1 addr (-1)-s32max
DATA_SOURCE 1 addr $1
DATA_SOURCE 2 len $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr->sa.sa_family 0-u16max[u]
USER_DATA 1 addr->v4.sin_addr.s_addr 0-u32max[u]
USER_DATA 1 addr->v4.sin_family 0-u16max[u]
USER_DATA 1 addr->v4.sin_port 0-u16max[u]
USER_DATA 1 addr->v6.sin6_family 0-u16max[u]
USER_DATA 1 addr->v6.sin6_flowinfo 0-u32max
USER_DATA 1 addr->v6.sin6_port 0-u16max[u]
USER_DATA 1 addr->v6.sin6_scope_id 0-u32max[u]
USER_DATA 2 len 0-28[c]
UNITS 1 addr unit_byte
UNITS 2 len unit_byte
USER_PTR 1 addr
HALF_LOCKED2 &net->sctp.addr_wq_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk