Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/stream_interleave.c do_sctp_enqueue_event() -> sctp_enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 skb_list 5151133878157090816
PARAM_VALUE 1 skb_list->next 4096-ptr_max
PARAM_VALUE 1 skb_list->prev 4096-ptr_max
DATA_SOURCE 0 ulpq $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 0 ulpq->asoc 4096-ptr_max
PARAM_VALUE 1 skb_list 5229720423785226240
PARAM_VALUE 1 skb_list->next 4096-ptr_max
PARAM_VALUE 1 skb_list->prev 4096-ptr_max
DATA_SOURCE 0 ulpq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/stream_interleave.c sctp_intl_start_pd() -> sctp_enqueue_event()

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 skb_list 7405336222370242560
PARAM_VALUE 1 skb_list->next 4096-ptr_max
PARAM_VALUE 1 skb_list->prev 4096-ptr_max
CAPPED_DATA 0 &ulpq->reasm 1
DATA_SOURCE 0 ulpq $0
PARAM_COMPARE 0 &ulpq->reasm != $0->reasm.next
NOCHECK_CALL

net/sctp/stream_interleave.c sctp_intl_start_pd() -> sctp_enqueue_event()

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 1 skb_list 7405336222370242560
PARAM_VALUE 1 skb_list->next 4096-ptr_max
PARAM_VALUE 1 skb_list->prev 4096-ptr_max
CAPPED_DATA 0 ulpq->reasm.next 1
CAPPED_DATA 0 &ulpq->reasm 1
CAPPED_DATA 0 &ulpq->reasm_uo 1
DATA_SOURCE 0 ulpq $0
PARAM_COMPARE 0 &ulpq->reasm_uo != $0->reasm_uo.next
NOCHECK_CALL

net/sctp/stream_interleave.c sctp_ulpevent_idata() -> sctp_enqueue_event()

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 skb_list 1973027937035796480
PARAM_VALUE 1 skb_list->next 4096-ptr_max
PARAM_VALUE 1 skb_list->prev 4096-ptr_max
DATA_SOURCE 0 ulpq $0
NOCHECK_CALL