Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

net/sctp/stream.c sctp_stream_shrink_out() -> sctp_sched_dequeue_common()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 ch 4096-ptr_max
PARAM_VALUE 1 ch->subh.data_hdr 4096-ptr_max
BUF_SIZE 0 q 112
CAPPED_DATA 0 &q->out_chunk_list 1
CAPPED_DATA 1 &ch->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/stream_sched_prio.c sctp_sched_prio_dequeue() -> sctp_sched_dequeue_common()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->asoc->stream.out_curr 0,4096-ptr_max
PARAM_VALUE 0 q->asoc->stream.out_curr->state 0-1
PARAM_VALUE 0 q->sched 4096-ptr_max
PARAM_VALUE 0 q->sched->dequeue 4096-ptr_max
PARAM_VALUE 1 ch 4096-ptr_max
CAPPED_DATA 0 &q->out_chunk_list 1
DATA_SOURCE 0 q $0
PARAM_COMPARE 0 &q->out_chunk_list != $0->out_chunk_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/stream_sched.c sctp_sched_fcfs_dequeue() -> sctp_sched_dequeue_common()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->asoc->stream.out_curr 0,4096-ptr_max
PARAM_VALUE 0 q->asoc->stream.out_curr->ext 4096-ptr_max
PARAM_VALUE 0 q->asoc->stream.out_curr->state 0-1
PARAM_VALUE 0 q->sched 4096-ptr_max
PARAM_VALUE 0 q->sched->dequeue 4096-ptr_max
CAPPED_DATA 0 &q->out_chunk_list 1
DATA_SOURCE 0 q $0
PARAM_COMPARE 0 &q->out_chunk_list != $0->out_chunk_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/stream_sched_rr.c sctp_sched_rr_dequeue() -> sctp_sched_dequeue_common()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->asoc->stream.out_curr 0,4096-ptr_max
PARAM_VALUE 0 q->asoc->stream.out_curr->state 0-1
PARAM_VALUE 0 q->sched 4096-ptr_max
PARAM_VALUE 0 q->sched->dequeue 4096-ptr_max
PARAM_VALUE 1 ch 4096-ptr_max
CAPPED_DATA 0 &q->out_chunk_list 1
DATA_SOURCE 0 q $0
PARAM_COMPARE 0 &q->out_chunk_list != $0->out_chunk_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/outqueue.c sctp_prsctp_prune_unsent() -> sctp_sched_dequeue_common()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->sched 4096-ptr_max
PARAM_VALUE 1 ch 4096-ptr_max
PARAM_VALUE 1 ch->msg 4096-ptr_max
PARAM_VALUE 1 ch->msg->abandoned 1
BUF_SIZE 0 q 112
CAPPED_DATA 0 &q->out_chunk_list 1
CAPPED_DATA 1 &ch->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/sctp/stream_sched_fc.c sctp_sched_fc_dequeue() -> sctp_sched_dequeue_common()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->asoc->stream.out_curr 0,4096-ptr_max
PARAM_VALUE 0 q->asoc->stream.out_curr->state 0-1
PARAM_VALUE 0 q->sched 4096-ptr_max
PARAM_VALUE 0 q->sched->dequeue 4096-ptr_max
PARAM_VALUE 1 ch 4096-ptr_max
CAPPED_DATA 0 &q->out_chunk_list 1
DATA_SOURCE 0 q $0
PARAM_COMPARE 0 &q->out_chunk_list != $0->out_chunk_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL