Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/sm_sideeffect.c sctp_do_sm() -> sctp_side_effects()

Type Parameter Key Value
PARAM_VALUE 0 event_type 1-4
PARAM_VALUE 4 *asoc 0,4096-ptr_max
PARAM_VALUE 5 event_arg 0-3,5-6,10-11,4096-ptr_max
PARAM_VALUE 6 status 0-6,8
PARAM_VALUE 7 commands 1603200764446941184
PARAM_VALUE 7 commands->last_used_slot 4096-ptr_max
PARAM_VALUE 7 commands->next_cmd 4096-ptr_max
PARAM_VALUE 8 gfp 2080,3264
BUF_SIZE 5 event_arg (-1)-s32max
BUF_SIZE 5 event_arg (-1)-s32max
DATA_SOURCE 0 event_type $1
DATA_SOURCE 1 subtype $2
DATA_SOURCE 2 state $3
DATA_SOURCE 3 ep $4
DATA_SOURCE 5 event_arg $6
DATA_SOURCE 8 gfp $7
HARD_MAX 0 event_type 4
HARD_MAX 8 gfp 3264
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk