Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/data-vio.c assign_data_vio_to_waiter() -> get_available_data_vio()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &pool->lock
TYPE_LOCK (struct data_vio_pool)->lock

drivers/md/dm-vdo/data-vio.c vdo_launch_bio() -> get_available_data_vio()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->limiter.busy 1-u16max
PARAM_VALUE 0 pool->limiter.limit 1-u16max
PARAM_VALUE 0 pool->limiter.max_busy 1-u16max
PARAM_VALUE 0 pool->lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 pool $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &md->io_barrier
LOCK2 0 &pool->lock
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &md->swap_bios_semaphore
TYPE_LOCK (struct data_vio_pool)->lock
TYPE_LOCK (struct mapped_device)->io_barrier