Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mctp/af_mctp.c mctp_sendmsg() -> mctp_sockaddr_ext_is_ok()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
BUF_SIZE 0 addr (-1)-0,12,28,128
BUF_SIZE 0 addr (-1)-0,12,28,128
CAPABLE 0 13
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr->smctp_base.__smctp_pad0 0-u16max[u]
USER_DATA 0 addr->smctp_base.__smctp_pad1 0-255[u]
USER_DATA 0 addr->smctp_base.smctp_addr.s_addr 0-255[u]
USER_DATA 0 addr->smctp_base.smctp_family 0-u16max[u]
USER_DATA 0 addr->smctp_base.smctp_network 0-u32max[u]
USER_DATA 0 addr->smctp_base.smctp_tag 0-255[u]
USER_DATA 0 addr->smctp_base.smctp_type 0-255[u]
USER_DATA 0 addr->smctp_halen 0-255[u]
USER_DATA 0 addr->smctp_ifindex s32min-s32max[u]
UNITS 0 addr unit_byte
USER_PTR 0 addr
HALF_LOCKED2 sk