Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-bufio.c __dm_bufio_prefetch() -> __bufio_new()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->lock.dep_map->name 0-255
PARAM_VALUE 0 c->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 c->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 1 tree 4096-ptr_max
PARAM_VALUE 1 tree->u.lock.dep_map->name 0-255
PARAM_VALUE 1 tree->u.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 tree->u.lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 1 tree->u.lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 1 tree->u.lock.first_waiter->type 0-1
PARAM_VALUE 1 tree->u.spinlock.dep_map->name 0-255
PARAM_VALUE 3 nf 3
PARAM_VALUE 4 need_submit 6671028935134793728
PARAM_VALUE 5 write_list 3771156538059538432
PARAM_VALUE 5 write_list->next 3771156538059538432
PARAM_VALUE 5 write_list->prev 3771156538059538432
BUF_SIZE 0 c (-1),704-12992
BUF_SIZE 0 c (-1),704-12992
DATA_SOURCE 0 c $0
DATA_SOURCE 1 tree r cache_get_tree
DATA_SOURCE 2 block $1 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 c->dm_io->pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->slab_buffer->object_size
NO_OVERFLOW_SIMPLE 0 c->slab_cache->object_size

drivers/md/dm-bufio.c new_read() -> __bufio_new()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->lock.dep_map->name 0-255
PARAM_VALUE 0 c->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 c->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 c->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 tree 4096-ptr_max
PARAM_VALUE 1 tree->u.lock.dep_map->name 0-255
PARAM_VALUE 1 tree->u.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 tree->u.lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 1 tree->u.lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 1 tree->u.lock.first_waiter->type 0-1
PARAM_VALUE 1 tree->u.spinlock.dep_map->name 0-255
PARAM_VALUE 3 nf 0-1
PARAM_VALUE 4 need_submit 3017070780810702848
PARAM_VALUE 4 *need_submit 0
PARAM_VALUE 5 write_list 3554823355911495680
PARAM_VALUE 5 write_list->next 3554823355911495680
PARAM_VALUE 5 write_list->prev 3554823355911495680
BUF_SIZE 0 c (-1),1088
BUF_SIZE 0 c (-1),1088
DATA_SOURCE 0 c $0
DATA_SOURCE 1 tree r cache_get_tree
DATA_SOURCE 2 block $1
DATA_SOURCE 3 nf $2
HARD_MAX 3 nf 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 c->block_size
NO_OVERFLOW_SIMPLE 0 c->dm_io->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->dm_io->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->dm_io->bios.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 c->slab_buffer->object_size
NO_OVERFLOW_SIMPLE 0 c->slab_buffer->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 c->slab_cache->object_size
NO_OVERFLOW_SIMPLE 0 c->slab_cache->sheaf_capacity