Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/stream_interleave.c sctp_intl_reasm() -> sctp_intl_retrieve_partial()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 0 ulpq->asoc 4096-ptr_max
PARAM_VALUE 0 ulpq->asoc->base.sk 4096-ptr_max
PARAM_VALUE 0 ulpq->reasm.next 4096-ptr_max
PARAM_VALUE 0 ulpq->reasm.prev 4096-ptr_max
PARAM_VALUE 0 ulpq->reasm.prev->next->next 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->asoc->base.sk 4096-ptr_max
PARAM_VALUE 1 event->asoc->ep 4096-ptr_max
PARAM_VALUE 1 event->chunk 4096-ptr_max
PARAM_VALUE 1 event->chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb 0,4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk 1-u64max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0,4096-ptr_max
PARAM_VALUE 1 event->chunk->skb 4096-ptr_max
PARAM_VALUE 1 event->chunk->subh.data_hdr 4096-ptr_max
PARAM_VALUE 1 event->flags 0-1
PARAM_VALUE 1 event->msg_flags 0-255
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
CAPPED_DATA 1 event->fsn 1
CAPPED_DATA 1 event->mid 1
DATA_SOURCE 0 ulpq $0
DATA_SOURCE 1 event $1
BIT_INFO 1 event->msg_flags 0x0,0xfb