Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/slab-depot.c apply_to_slabs() -> next_slab()

Type Parameter Key Value
PARAM_VALUE 0 iterator 3669734658740592640
PARAM_VALUE 0 iterator->next 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/slab-depot.c erase_next_slab_journal() -> next_slab()

Type Parameter Key Value
PARAM_VALUE 0 iterator 4096-ptr_max
PARAM_VALUE 0 iterator->next 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/md/dm-vdo/slab-depot.c get_slab_statuses() -> next_slab()

Type Parameter Key Value
PARAM_VALUE 0 iterator 793103011898425344
PARAM_VALUE 0 iterator->next 1-u64max

drivers/md/dm-vdo/slab-depot.c notify_block_allocator_of_read_only_mode() -> next_slab()

Type Parameter Key Value
PARAM_VALUE 0 iterator 2962485015551238144
PARAM_VALUE 0 iterator->next 1-u64max

drivers/md/dm-vdo/slab-depot.c vdo_allocate_reference_counters() -> next_slab()

Type Parameter Key Value
PARAM_VALUE 0 iterator 3549129488148357120
PARAM_VALUE 0 iterator->next 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/slab-depot.c vdo_dump_block_allocator() -> next_slab()

Type Parameter Key Value
PARAM_VALUE 0 iterator 1463945833584001024
PARAM_VALUE 0 iterator->next 1-u64max
HALF_LOCKED2 &md->io_barrier