Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/bcache/request.c cache_lookup_fn() -> bch_cut_front()

Type Parameter Key Value
PARAM_VALUE 0 where 4096-ptr_max
PARAM_VALUE 1 k 4096-ptr_max
PARAM_VALUE 1 k->high 0,268435456-u64max
BUF_SIZE 1 k 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 b

drivers/md/bcache/extents.c bch_extent_insert_fixup() -> bch_cut_front()

Type Parameter Key Value
PARAM_VALUE 0 where 4096-ptr_max
PARAM_VALUE 0 where->low 1-u64max
DATA_SOURCE 0 where $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &b->write_lock
HALF_LOCKED2 &b->io_mutex
HALF_LOCKED2 &n->io_mutex
HALF_LOCKED2 &n2->io_mutex
HALF_LOCKED2 &n2->write_lock
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->write_lock

drivers/md/bcache/extents.c bch_extent_insert_fixup() -> bch_cut_front()

Type Parameter Key Value
PARAM_VALUE 0 where 4096-ptr_max
PARAM_VALUE 0 where->low 1-u64max
PARAM_VALUE 1 k 4096-ptr_max
DATA_SOURCE 0 where $1
DATA_SOURCE 1 k r bch_btree_iter_next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &b->write_lock
HALF_LOCKED2 &b->io_mutex
HALF_LOCKED2 &n->io_mutex
HALF_LOCKED2 &n2->io_mutex
HALF_LOCKED2 &n2->write_lock
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->write_lock

drivers/md/bcache/extents.c bch_extent_insert_fixup() -> bch_cut_front()

Type Parameter Key Value
PARAM_VALUE 0 where 4096-ptr_max
PARAM_VALUE 1 k 4096-ptr_max
CAPPED_DATA 0 where 1
CAPPED_DATA 1 k 1
DATA_SOURCE 0 where r bch_btree_iter_next
DATA_SOURCE 1 k r bch_btree_iter_next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &b->write_lock
HALF_LOCKED2 &b->io_mutex
HALF_LOCKED2 &n->io_mutex
HALF_LOCKED2 &n2->io_mutex
HALF_LOCKED2 &n2->write_lock
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->write_lock

drivers/md/bcache/extents.c bch_extent_merge() -> bch_cut_front()

Type Parameter Key Value
PARAM_VALUE 0 where 4096-ptr_max
PARAM_VALUE 0 where->high 0,1048576-u64max
PARAM_VALUE 1 k 4096-ptr_max
DATA_SOURCE 0 where $1
DATA_SOURCE 1 k $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &b->write_lock

drivers/md/bcache/extents.c bch_extent_sort_fixup() -> bch_cut_front()

Type Parameter Key Value
PARAM_VALUE 0 where 4097-ptr_max
PARAM_VALUE 1 k 4096-18446744073709547519
CAPPED_DATA 1 k 1
PARAM_COMPARE 0 where > $1
PARAM_COMPARE 1 k < $0
PARAM_COMPARE 1 k < $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &b->io_mutex

drivers/md/bcache/extents.c bch_extent_sort_fixup() -> bch_cut_front()

Type Parameter Key Value
PARAM_VALUE 0 where 4096-ptr_max
PARAM_VALUE 1 k 4096-ptr_max
CAPPED_DATA 1 k 1
PARAM_COMPARE 0 where >= $1
PARAM_COMPARE 0 where >= $1
PARAM_COMPARE 1 k <= $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &b->io_mutex

drivers/md/bcache/btree.c bch_btree_insert_keys() -> bch_cut_front()

Type Parameter Key Value
PARAM_VALUE 0 where 4096-ptr_max
PARAM_VALUE 1 k 4096-18446744073709547519
CAPPED_DATA 1 k 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &b->write_lock
HALF_LOCKED2 &n->io_mutex
HALF_LOCKED2 &n1->io_mutex
HALF_LOCKED2 &n2->io_mutex
HALF_LOCKED2 &n2->write_lock
TYPE_LOCK (struct btree)->write_lock