Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/bcache/request.c bch_data_insert_start() -> bch_keylist_empty()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->top 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/md/bcache/journal.c bch_journal_replay() -> bch_keylist_empty()

Type Parameter Key Value
PARAM_VALUE 0 l 6062488632586919936
PARAM_VALUE 0 l->keys 0-18446744073709547519

drivers/md/bcache/btree.c bch_btree_insert() -> bch_keylist_empty()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->keys 0-18446744073709547519
DATA_SOURCE 0 l $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/bcache/btree.c bch_btree_insert() -> bch_keylist_empty()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->keys 0-18446744073709547519
CAPPED_DATA 0 l->keys 1
DATA_SOURCE 0 l $1
PARAM_COMPARE 0 l->keys != $0->top
RX_PATH
TASK_NOT_RUNNING

drivers/md/bcache/btree.c bch_btree_insert() -> bch_keylist_empty()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->keys 4096-18446744073709547519
CAPPED_DATA 0 l->keys 1
DATA_SOURCE 0 l $1
PARAM_COMPARE 0 l->keys != $0->top
RX_PATH
TASK_NOT_RUNNING

drivers/md/bcache/btree.c bch_btree_insert_check_key() -> bch_keylist_empty()

Type Parameter Key Value
PARAM_VALUE 0 l 6012211927575199744
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 b

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

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->keys 0-18446744073709547519
DATA_SOURCE 0 l $2
RX_PATH
TASK_NOT_RUNNING
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

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

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->keys 4096-18446744073709547519
CAPPED_DATA 0 l->keys 1
DATA_SOURCE 0 l $2
RX_PATH
TASK_NOT_RUNNING
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

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

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->keys 0-18446744073709547519
PARAM_VALUE 0 l->top 0-18446744073709547519
CAPPED_DATA 0 l->keys 1
CAPPED_DATA 0 l->top 1
DATA_SOURCE 0 l $2
RX_PATH
TASK_NOT_RUNNING
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

drivers/md/bcache/btree.c bch_btree_insert_node() -> bch_keylist_empty()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
DATA_SOURCE 0 l $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &n->io_mutex
HALF_LOCKED2 &n1->io_mutex

drivers/md/bcache/btree.c btree_gc_coalesce() -> bch_keylist_empty()

Type Parameter Key Value
PARAM_VALUE 0 l 1716775000281292800
TASK_NOT_RUNNING
HALF_LOCKED2 &b->io_mutex
HALF_LOCKED2 &last->b->io_mutex
HALF_LOCKED2 &n1->io_mutex
HALF_LOCKED2 b

drivers/md/bcache/btree.c btree_gc_rewrite_node() -> bch_keylist_empty()

Type Parameter Key Value
PARAM_VALUE 0 l 2470932128331476992
TASK_NOT_RUNNING
LOCK2 &n->io_mutex
HALF_LOCKED2 &b->io_mutex
HALF_LOCKED2 &n1->io_mutex
HALF_LOCKED2 &replace->io_mutex
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->io_mutex

drivers/md/bcache/btree.c btree_insert_fn() -> bch_keylist_empty()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &n1->io_mutex
HALF_LOCKED2 b

drivers/md/bcache/btree.c btree_split() -> bch_keylist_empty()

Type Parameter Key Value
PARAM_VALUE 0 l 5099882291975696384
RX_PATH
TASK_NOT_RUNNING
LOCK2 &n1->io_mutex
HALF_LOCKED2 &b->io_mutex
HALF_LOCKED2 &n->io_mutex
HALF_LOCKED2 &n1->io_mutex
HALF_LOCKED2 &n2->io_mutex
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->io_mutex