Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/socket.c __sctp_setsockopt_delayed_ack() -> sctp_apply_asoc_delayed_ack()

Type Parameter Key Value
PARAM_VALUE 0 params 4096-ptr_max
PARAM_VALUE 0 params->sack_delay 0-500
PARAM_VALUE 1 asoc 4096-ptr_max
BUF_SIZE 0 params (-1)-135168
BUF_SIZE 0 params (-1)-135168
DATA_SOURCE 0 params $1
DATA_SOURCE 1 asoc r sctp_id2assoc
FUZZY_MAX 0 params->sack_delay 500
HARD_MAX 0 params->sack_delay 500
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 params->sack_assoc_id s32min-s32max[u]
USER_DATA 0 params->sack_delay 0-500[u]
USER_DATA 0 params->sack_freq 0-u32max[u]
USER_PTR 0 params
LOCK2 sk

net/sctp/socket.c __sctp_setsockopt_delayed_ack() -> sctp_apply_asoc_delayed_ack()

Type Parameter Key Value
PARAM_VALUE 0 params 4096-ptr_max
PARAM_VALUE 0 params->sack_delay 0-500
PARAM_VALUE 1 asoc 4096-ptr_max
BUF_SIZE 0 params (-1)-135168
BUF_SIZE 0 params (-1)-135168
CAPPED_DATA 1 &asoc->asocs 1
DATA_SOURCE 0 params $1
FUZZY_MAX 0 params->sack_delay 500
HARD_MAX 0 params->sack_delay 500
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 params->sack_delay 0-500[u]
USER_DATA 0 params->sack_freq 0-u32max[u]
USER_PTR 0 params
LOCK2 sk