Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/associola.c sctp_assoc_update_retran_path() -> sctp_trans_elect_best()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 0 curr->state s32min-2,4-s32max
PARAM_VALUE 1 best 0,4096-ptr_max
PARAM_VALUE 1 best->state s32min-1,4-s32max
CAPPED_DATA 1 best 1
PARAM_COMPARE 0 curr >= $1
PARAM_COMPARE 0 curr >= $1
PARAM_COMPARE 1 best <= $0
RX_PATH
TASK_NOT_RUNNING

net/sctp/associola.c sctp_select_active_and_retran_path() -> sctp_trans_elect_best()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 0 curr->state 1
PARAM_VALUE 1 best 0,4096-ptr_max
PARAM_VALUE 1 best->state 1
CAPPED_DATA 1 best 1

net/sctp/associola.c sctp_select_active_and_retran_path() -> sctp_trans_elect_best()

Type Parameter Key Value
PARAM_VALUE 1 best 0,4096-ptr_max