Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/outqueue.c __sctp_outq_flush_rtx() -> sctp_insert_list()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/outqueue.c sctp_check_transmitted() -> sctp_insert_list()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->next 4096-ptr_max
PARAM_VALUE 1 new->next->next 4096-ptr_max
PARAM_VALUE 1 new->next->prev 4096-ptr_max
PARAM_VALUE 1 new->prev 4096-ptr_max
PARAM_VALUE 1 new->prev->next 4096-ptr_max
PARAM_VALUE 1 new->prev->prev 4096-ptr_max
DATA_SOURCE 1 new r sctp_list_dequeue
NOCHECK_CALL

net/sctp/outqueue.c sctp_prsctp_prune_sent() -> sctp_insert_list()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/sctp/outqueue.c sctp_retransmit_mark() -> sctp_insert_list()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
CAPPED_DATA 1 new 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock

net/sctp/outqueue.c sctp_retransmit_mark() -> sctp_insert_list()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
CAPPED_DATA 1 new 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock