Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/dm-ioctl.c table_load() -> dm_table_get_type()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->type 1-u32max
NO_OVERFLOW_SIMPLE 0 t->mempools->bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->io_bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->io_bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->num_allocated
LOCK2 &md->type_lock
TYPE_LOCK (struct mapped_device)->type_lock

drivers/md/dm-ioctl.c table_load() -> dm_table_get_type()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->type 1-u32max
NO_OVERFLOW_SIMPLE 0 t->mempools->bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->io_bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->io_bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->num_allocated
LOCK2 &md->type_lock
TYPE_LOCK (struct mapped_device)->type_lock

drivers/md/dm.c dm_setup_md_queue() -> dm_table_get_type()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->type 1-u32max
CAPPED_DATA 0 t->num_targets 1
DATA_SOURCE 0 t $1
NO_OVERFLOW_SIMPLE 0 t->mempools->bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->io_bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->io_bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->num_allocated
HALF_LOCKED2 &md->type_lock

drivers/md/dm-table.c dm_table_alloc_md_mempools() -> dm_table_get_type()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t->num_targets 1
DATA_SOURCE 0 t $0
NO_OVERFLOW_SIMPLE 0 t->num_allocated
HALF_LOCKED2 &md->type_lock

drivers/md/dm-table.c dm_table_request_based() -> dm_table_get_type()

Type Parameter Key Value
DATA_SOURCE 0 t $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 t->num_allocated
HALF_LOCKED2 &md->suspend_lock