Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mptcp/sockopt.c mptcp_getsockopt_subflow_addrs() -> mptcp_put_subflow_data()

Type Parameter Key Value
PARAM_VALUE 0 sfd 7364546684995903488
PARAM_VALUE 0 sfd->size_kernel 256
PARAM_VALUE 0 sfd->size_user 0-256
DATA_SOURCE 1 optval $1
DATA_SOURCE 3 optlen $2
NOSPEC 0 sfd->size_user
NOSPEC 2 copied
RX_PATH
USER_DATA 0 sfd->size_subflow_data 0-u32max
USER_DATA 0 sfd->size_user 0-255[c]
USER_DATA 2 copied 0-510[c][u]

net/mptcp/sockopt.c mptcp_getsockopt_tcpinfo() -> mptcp_put_subflow_data()

Type Parameter Key Value
PARAM_VALUE 0 sfd 2449678639379451904
PARAM_VALUE 0 sfd->size_kernel 280
PARAM_VALUE 0 sfd->size_user 0-280
DATA_SOURCE 1 optval $1
DATA_SOURCE 3 optlen $2
NOSPEC 0 sfd->size_user
NOSPEC 2 copied
RX_PATH
USER_DATA 0 sfd->size_subflow_data 0-u32max
USER_DATA 0 sfd->size_user 0-279[c]
USER_DATA 2 copied 0-558[c][u]