Open Menu /

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_flush_ctrl() -> sctp_packet_transmit_chunk()

Type Parameter Key Value
PARAM_VALUE 0 packet 0,4096-ptr_max
PARAM_VALUE 0 packet->chunk_list.next->prev 4096-ptr_max
PARAM_VALUE 0 packet->transport 4096-ptr_max
PARAM_VALUE 0 packet->transport->asoc->base.sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 packet->transport->asoc->base.sk->ns_tracker->dead 0-1
PARAM_VALUE 0 packet->transport->asoc->base.sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 packet->transport->dst->dst_trace_seq.counter s32min-s32max
PARAM_VALUE 0 packet->transport->rto_pending 1
PARAM_VALUE 1 chunk 4096-ptr_max
PARAM_VALUE 1 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 1 chunk->chunk_hdr->type 3-13,128,130,192-194
PARAM_VALUE 1 chunk->transport 0,4096-ptr_max
PARAM_VALUE 2 one_packet 0-1
CAPPED_DATA 1 &chunk->list 1
FUZZY_MAX 2 one_packet 1
HARD_MAX 2 one_packet 1
RX_PATH
TASK_NOT_RUNNING

net/sctp/outqueue.c sctp_outq_flush_data() -> sctp_packet_transmit_chunk()

Type Parameter Key Value
PARAM_VALUE 0 packet 0,4096-ptr_max
PARAM_VALUE 1 chunk 4096-ptr_max
PARAM_VALUE 1 chunk->asoc 4096-ptr_max
PARAM_VALUE 1 chunk->subh.data_hdr 4096-ptr_max
PARAM_VALUE 1 chunk->transport 0,4096-ptr_max
PARAM_VALUE 2 one_packet 0
DATA_SOURCE 1 chunk r sctp_outq_dequeue_data
RX_PATH
TASK_NOT_RUNNING