Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/volume.c begin_pending_search() -> search_pending()

Type Parameter Key Value
PARAM_VALUE 0 invalidate_counter s64min-(-4096),4096-s64max
DATA_SOURCE 0 invalidate_counter r get_invalidate_counter
HALF_LOCKED2 &volume->read_threads_mutex

drivers/md/dm-vdo/indexer/volume.c end_pending_search() -> search_pending()

Type Parameter Key Value
PARAM_VALUE 0 invalidate_counter s64min-(-4096),4096-s64max
DATA_SOURCE 0 invalidate_counter r get_invalidate_counter

drivers/md/dm-vdo/indexer/volume.c wait_for_pending_searches() -> search_pending()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &volume->read_threads_mutex
TYPE_LOCK (struct volume)->read_threads_mutex