Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/outqueue.c sctp_outq_sack() -> sctp_mark_missing()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->asoc 4096-ptr_max
PARAM_VALUE 0 q->asoc->stream.out_curr->state 0-1
PARAM_VALUE 0 q->retransmit.next 7950461913608028160
PARAM_VALUE 0 q->retransmit.next->prev->next 4096-ptr_max
PARAM_VALUE 0 q->retransmit.next->prev->prev 4096-ptr_max
PARAM_VALUE 1 transmitted_queue 4096-ptr_max
PARAM_VALUE 2 transport->af_specific->sockaddr_len 0,16,28
PARAM_VALUE 4 count_of_newacks 0-s32max
CAPPED_DATA 0 &q->retransmit 1
CAPPED_DATA 2 &transport->transports 1
DATA_SOURCE 0 q $0
FUZZY_MAX 4 count_of_newacks 0
NOCHECK_CALL
USER_DATA 3 highest_new_tsn_in_sack 0-u32max