Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/md/dm-kcopyd.c dm_kcopyd_client_destroy() -> dm_io_client_destroy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 client->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 client->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 client->bios.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 client->pool.min_nr
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/dm-snap-persistent.c persistent_dtr() -> dm_io_client_destroy()

Type Parameter Key Value
PARAM_VALUE 0 client 1-u64max
NOCHECK_CALL

drivers/md/dm-log.c create_log_context() -> dm_io_client_destroy()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->bios.back_pad 0,64
PARAM_VALUE 0 client->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 client->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 client->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 0 client->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 0 client->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 client->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 client->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 client->bios.front_pad 0
PARAM_VALUE 0 client->pool.alloc 7276475779886346240
PARAM_VALUE 0 client->pool.curr_nr 1-s32max
PARAM_VALUE 0 client->pool.free 8263660038527102976
PARAM_VALUE 0 client->pool.min_nr 1-1024
BUF_SIZE 0 client 824
BUF_SIZE 0 client 824
DATA_SOURCE 0 client r dm_io_client_create
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-log.c create_log_context() -> dm_io_client_destroy()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->bios.back_pad 0,64
PARAM_VALUE 0 client->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 client->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 client->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 0 client->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 0 client->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 client->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 client->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 client->bios.front_pad 0
PARAM_VALUE 0 client->pool.alloc 7276475779886346240
PARAM_VALUE 0 client->pool.curr_nr 1-s32max
PARAM_VALUE 0 client->pool.free 8263660038527102976
PARAM_VALUE 0 client->pool.min_nr 1-1024
BUF_SIZE 0 client 824
BUF_SIZE 0 client 824
DATA_SOURCE 0 client r dm_io_client_create
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-log.c create_log_context() -> dm_io_client_destroy()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->bios.back_pad 0,64
PARAM_VALUE 0 client->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 client->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 client->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 0 client->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 0 client->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 client->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 client->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 client->bios.front_pad 0
PARAM_VALUE 0 client->pool.alloc 7276475779886346240
PARAM_VALUE 0 client->pool.curr_nr 1-s32max
PARAM_VALUE 0 client->pool.free 8263660038527102976
PARAM_VALUE 0 client->pool.min_nr 1-1024
BUF_SIZE 0 client 824
BUF_SIZE 0 client 824
DATA_SOURCE 0 client r dm_io_client_create
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-log.c disk_dtr() -> dm_io_client_destroy()

Type Parameter Key Value
NOCHECK_CALL

drivers/md/dm-writecache.c writecache_dtr() -> dm_io_client_destroy()

Type Parameter Key Value
PARAM_VALUE 0 client 1-u64max
NOCHECK_CALL

drivers/md/dm-integrity.c dm_integrity_dtr() -> dm_io_client_destroy()

Type Parameter Key Value
PARAM_VALUE 0 client 1-u64max
NOCHECK_CALL

drivers/md/dm-raid1.c alloc_context() -> dm_io_client_destroy()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->bios.back_pad 0,64
PARAM_VALUE 0 client->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 client->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 client->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 0 client->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 0 client->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 client->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 client->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 client->bios.front_pad 0
PARAM_VALUE 0 client->bios.rescue_list.head 0
PARAM_VALUE 0 client->bios.rescue_list.tail 0
PARAM_VALUE 0 client->pool.alloc 7276475779886346240
PARAM_VALUE 0 client->pool.curr_nr 1-s32max
PARAM_VALUE 0 client->pool.free 8263660038527102976
PARAM_VALUE 0 client->pool.min_nr 1-1024
BUF_SIZE 0 client 824
BUF_SIZE 0 client 824
DATA_SOURCE 0 client r dm_io_client_create
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-raid1.c free_context() -> dm_io_client_destroy()

Type Parameter Key Value
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 client->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 client->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 client->bios.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 client->pool.min_nr

drivers/md/dm-bufio.c dm_bufio_client_create() -> dm_io_client_destroy()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->bios.back_pad 0,64
PARAM_VALUE 0 client->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 client->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 client->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 0 client->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 0 client->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 client->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 client->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 client->bios.front_pad 0
PARAM_VALUE 0 client->bios.rescue_list.head 0
PARAM_VALUE 0 client->bios.rescue_list.tail 0
PARAM_VALUE 0 client->pool.alloc 7276475779886346240
PARAM_VALUE 0 client->pool.curr_nr 1-s32max
PARAM_VALUE 0 client->pool.free 8263660038527102976
PARAM_VALUE 0 client->pool.min_nr 1-1024
BUF_SIZE 0 client 824
BUF_SIZE 0 client 824
DATA_SOURCE 0 client r dm_io_client_create
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-bufio.c dm_bufio_client_destroy() -> dm_io_client_destroy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 client->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 client->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 client->bios.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 client->pool.min_nr

drivers/md/dm-verity-target.c verity_dtr() -> dm_io_client_destroy()

Type Parameter Key Value
PARAM_VALUE 0 client 1-u64max
NOCHECK_CALL