Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/stream_interleave.c sctp_intl_order() -> sctp_intl_retrieve_ordered()

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 1 event 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->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->msg_flags 128-u16max
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
CAPPED_DATA 1 event->mid 1
DATA_SOURCE 0 ulpq $0
DATA_SOURCE 1 event $1
BIT_INFO 1 event->msg_flags 0x80,0xffff
NOCHECK_CALL
USER_DATA 1 event->fsn 0-u32max

net/sctp/stream_interleave.c sctp_intl_reap_ordered() -> sctp_intl_retrieve_ordered()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 0 ulpq->asoc 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
BUF_SIZE 1 event 0,48
BUF_SIZE 1 event 0,48
DATA_SOURCE 0 ulpq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL