Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/sctp/outqueue.c __sctp_outq_teardown() -> sctp_list_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

net/sctp/outqueue.c __sctp_outq_teardown() -> sctp_list_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
CAPPED_DATA 0 list 1
DATA_SOURCE 0 list $1

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

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 0 list->next->next 4096-ptr_max
PARAM_VALUE 0 list->next->prev 4096-ptr_max
PARAM_VALUE 0 list->next->prev->next 4096-ptr_max
PARAM_VALUE 0 list->next->prev->prev 4096-ptr_max
CAPPED_DATA 0 list 1
DATA_SOURCE 0 list $1
PARAM_COMPARE 0 list != $0->next
PARAM_COMPARE 0 list != $0->next

net/sctp/outqueue.c sctp_outq_flush_transports() -> sctp_list_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 list 3539585012682772496
PARAM_VALUE 0 list->next 3539585012682772496
RX_PATH
TASK_NOT_RUNNING

net/sctp/outqueue.c sctp_outq_flush_transports() -> sctp_list_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 list 3539585012682772496
PARAM_VALUE 0 list->next 3539585012682772496
RX_PATH
TASK_NOT_RUNNING

net/sctp/inqueue.c sctp_inq_pop() -> sctp_list_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
HALF_LOCKED2 &pool->lock