Open Menu /

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

security/integrity/ima/ima_queue.c ima_queue_delete_partial() -> __list_cut_position()

Type Parameter Key Value
PARAM_VALUE 0 list 6828948530826969088
PARAM_VALUE 0 list->next 6828948530826969088
PARAM_VALUE 0 list->prev 6828948530826969088
PARAM_VALUE 1 head 5265734988611952640
PARAM_VALUE 2 entry 4096-ptr_max
NOCHECK_CALL
LOCK2 global &ima_extend_list_mutex

mm/compaction.c list_cut_position() -> __list_cut_position()

Type Parameter Key Value
PARAM_VALUE 0 list 4481026996197900288
PARAM_VALUE 0 list->next 4481026996197900288
PARAM_VALUE 0 list->prev 4481026996197900288
PARAM_VALUE 1 head 4096-ptr_max
BUF_SIZE 1 head 80
BUF_SIZE 1 head 80
CAPPED_DATA 1 head 1
DATA_SOURCE 0 list $0
DATA_SOURCE 1 head $1
DATA_SOURCE 2 entry $2
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $2
PARAM_COMPARE 2 entry != $1
PARAM_COMPARE 2 entry != $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cc->zone->lock
LOCK2 flags
TYPE_LOCK (struct zone)->lock

io_uring/cancel.c list_cut_position() -> __list_cut_position()

Type Parameter Key Value
PARAM_VALUE 0 list 8223844522081214464
PARAM_VALUE 0 list->next 8223844522081214464
PARAM_VALUE 0 list->prev 8223844522081214464
PARAM_VALUE 1 head 4096-ptr_max
CAPPED_DATA 1 head 1
DATA_SOURCE 0 list $0
DATA_SOURCE 1 head $1
DATA_SOURCE 2 entry $2
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $2
PARAM_COMPARE 2 entry != $1
PARAM_COMPARE 2 entry != $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctx->uring_lock
HALF_LOCKED2 &sqd->lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

drivers/char/virtio_console.c list_cut_position() -> __list_cut_position()

Type Parameter Key Value
PARAM_VALUE 0 list 5808214653698146304
PARAM_VALUE 0 list->next 5808214653698146304
PARAM_VALUE 0 list->prev 5808214653698146304
PARAM_VALUE 1 head 4909761421572722688
PARAM_VALUE 1 head->next 0-4909761421572722687,4909761421572722689-u64max
PARAM_VALUE 2 entry 0-4909761421572722687,4909761421572722689-u64max
CAPPED_DATA 1 head->next 1
CAPPED_DATA 1 head->prev 1
DATA_SOURCE 0 list $0
DATA_SOURCE 1 head $1
DATA_SOURCE 2 entry $2
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $2
PARAM_COMPARE 2 entry != $1
PARAM_COMPARE 2 entry != $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 global &dma_bufs_lock

drivers/acpi/nfit/core.c list_cut_position() -> __list_cut_position()

Type Parameter Key Value
PARAM_VALUE 0 list 8641545589330354176,8641545589330354192,8641545589330354208,8641545589330354224,8641545589330354240,8641545589330354256
PARAM_VALUE 0 list->next 8641545589330354176,8641545589330354192,8641545589330354208,8641545589330354224,8641545589330354240,8641545589330354256
PARAM_VALUE 0 list->prev 8641545589330354176,8641545589330354192,8641545589330354208,8641545589330354224,8641545589330354240,8641545589330354256
PARAM_VALUE 1 head 4096-ptr_max
CAPPED_DATA 1 head 1
DATA_SOURCE 0 list $0
DATA_SOURCE 1 head $1
DATA_SOURCE 2 entry $2
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $2
PARAM_COMPARE 2 entry != $1
PARAM_COMPARE 2 entry != $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &acpi_desc->init_mutex
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct acpi_nfit_desc)->init_mutex

net/unix/garbage.c __unix_walk_scc() -> __list_cut_position()

Type Parameter Key Value
PARAM_VALUE 0 list 3946847397043912704
PARAM_VALUE 1 head 3187336353672814592
PARAM_VALUE 1 head->next 4096-ptr_max
PARAM_VALUE 2 entry 4096-ptr_max
PREEMPT_ADD
NOCHECK_CALL
LOCK2 global &unix_gc_lock
HALF_LOCKED2 &pool->lock

drivers/net/wireless/ath/ath9k/xmit.c list_cut_position() -> __list_cut_position()

Type Parameter Key Value
PARAM_VALUE 0 list 2533430896725532672,7740918543882878976,8402199836754231296
PARAM_VALUE 1 head 4096-ptr_max
CAPPED_DATA 1 head 1
DATA_SOURCE 0 list $0
DATA_SOURCE 1 head $1
DATA_SOURCE 2 entry $2
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $2
PARAM_COMPARE 2 entry != $1
PARAM_COMPARE 2 entry != $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &txq->axq_lock
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &sc->sc_pcu_lock
TYPE_LOCK (struct ath_txq)->axq_lock

lib/tests/list-test.c list_cut_position() -> __list_cut_position()

Type Parameter Key Value
PARAM_VALUE 0 list 7789292345379028992
PARAM_VALUE 0 list->next 7789292345379028992
PARAM_VALUE 0 list->prev 7789292345379028992
PARAM_VALUE 1 head 7347130496985055232
PARAM_VALUE 1 head->next 7347130496985055232
PARAM_VALUE 2 entry 7986880187324342280
BUF_SIZE 2 entry 32
BUF_SIZE 2 entry 32
DATA_SOURCE 0 list $0
DATA_SOURCE 1 head $1
DATA_SOURCE 2 entry $2
PARAM_COMPARE 1 head < $1->next
PARAM_COMPARE 1 head < $1->next
PARAM_COMPARE 1 head < $2
PARAM_COMPARE 1 head <= $1->prev
PARAM_COMPARE 1 head <= $1->prev
PARAM_COMPARE 1 head->next <= $1->prev
PARAM_COMPARE 2 entry > $1
PARAM_COMPARE 2 entry > $1
PARAM_COMPARE 2 entry impossible $1->next
PARAM_COMPARE 2 entry impossible $1->prev
NOCHECK_CALL

drivers/net/ethernet/mellanox/mlx5/core/en_accel/ktls_tx.c list_cut_position() -> __list_cut_position()

Type Parameter Key Value
PARAM_VALUE 0 list 4366544874641027072,8962575542774693888
PARAM_VALUE 0 list->next 4366544874641027072,8962575542774693888
PARAM_VALUE 0 list->prev 4366544874641027072,8962575542774693888
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 2 entry 4096-ptr_max
CAPPED_DATA 1 head 1
CAPPED_DATA 2 entry 1
DATA_SOURCE 0 list $0
DATA_SOURCE 1 head $1
DATA_SOURCE 2 entry $2
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $2
PARAM_COMPARE 2 entry != $1
PARAM_COMPARE 2 entry != $1
TASK_NOT_RUNNING
NOCHECK_CALL