Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 33 files:

Smatch caller information:

drivers/md/dm-kcopyd.c dm_kcopyd_client_create() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->curr_nr 1-s32max
PARAM_VALUE 0 pool->elements 1-u64max
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 8
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &dm_thin_pool_table.mutex

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

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pool->min_nr
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/raid5-ppl.c __ppl_exit_log() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex

drivers/md/dm-cache-target.c __destroy() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &cache->background_work_lock

drivers/nvme/target/pci-epf.c nvmet_pci_epf_create_ctrl() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc 478628002987114496
PARAM_VALUE 0 pool->curr_nr 1-s32max
PARAM_VALUE 0 pool->elements 1-u64max
PARAM_VALUE 0 pool->free 9178302734063534080
PARAM_VALUE 0 pool->min_nr 2048-131072
PARAM_VALUE 0 pool->pool_data 912
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
MEM_ZERO 0 pool
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &epf->lock
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &epc->list_lock
TYPE_LOCK (struct pci_epf)->lock

drivers/nvme/target/pci-epf.c nvmet_pci_epf_destroy_ctrl() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &epc->list_lock
HALF_LOCKED2 &epf->lock
TYPE_LOCK (struct pci_epf)->lock

drivers/md/dm-log-userspace-base.c userspace_ctr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-log-userspace-base.c userspace_dtr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-clone-target.c clone_ctr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->curr_nr 1-s32max
PARAM_VALUE 0 pool->elements 1-u64max
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 256
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-clone-target.c clone_dtr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-snap.c snapshot_ctr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->curr_nr 1-s32max
PARAM_VALUE 0 pool->elements 1-u64max
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 256
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-snap.c snapshot_dtr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/bcache/bset.c bch_bset_sort_state_free() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &bch_register_lock
HALF_LOCKED2 &b->io_mutex
HALF_LOCKED2 &dc->in_flight

drivers/block/drbd/drbd_main.c drbd_destroy_mempools() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 930137039402414080
NOCHECK_CALL

drivers/block/drbd/drbd_main.c drbd_destroy_mempools() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 5801600277034463232
NOCHECK_CALL

drivers/block/drbd/drbd_main.c drbd_destroy_mempools() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 5017672245693964288
NOCHECK_CALL

drivers/block/drbd/drbd_main.c drbd_destroy_mempools() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 8375726282462281728
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_kmalloc_double_free() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 8942448776915165184
PARAM_VALUE 0 pool->alloc 478628002987114496
PARAM_VALUE 0 pool->free 9178302734063534080
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 128
MEM_ZERO 0 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_kmalloc_invalid_free() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 3750263630210793472
PARAM_VALUE 0 pool->alloc 478628002987114496
PARAM_VALUE 0 pool->free 9178302734063534080
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 128
MEM_ZERO 0 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_kmalloc_large_double_free() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 7120382303171424256
PARAM_VALUE 0 pool->alloc 478628002987114496
PARAM_VALUE 0 pool->free 9178302734063534080
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 8193
MEM_ZERO 0 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_kmalloc_large_invalid_free() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 1774489567029321728
PARAM_VALUE 0 pool->alloc 478628002987114496
PARAM_VALUE 0 pool->free 9178302734063534080
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 8193
MEM_ZERO 0 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_kmalloc_large_oob_right() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 3024914041360031744
PARAM_VALUE 0 pool->alloc 478628002987114496
PARAM_VALUE 0 pool->free 9178302734063534080
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 8193
MEM_ZERO 0 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_kmalloc_large_uaf() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 5420937923690541056
PARAM_VALUE 0 pool->alloc 478628002987114496
PARAM_VALUE 0 pool->free 9178302734063534080
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 8193
MEM_ZERO 0 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_kmalloc_oob_right() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4551816345989701632
PARAM_VALUE 0 pool->alloc 478628002987114496
PARAM_VALUE 0 pool->free 9178302734063534080
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 115
MEM_ZERO 0 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_kmalloc_uaf() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 2111861650722275328
PARAM_VALUE 0 pool->alloc 478628002987114496
PARAM_VALUE 0 pool->free 9178302734063534080
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 128
MEM_ZERO 0 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_page_alloc_double_free() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 6520781557716758528
PARAM_VALUE 0 pool->alloc 8450676485683146752
PARAM_VALUE 0 pool->free 9039121080127385600
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 2
MEM_ZERO 0 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_page_alloc_uaf() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4756936810992918528
PARAM_VALUE 0 pool->alloc 8450676485683146752
PARAM_VALUE 0 pool->free 9039121080127385600
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 2
MEM_ZERO 0 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_slab_oob_right() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 1940659308778012672
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 1-ptr_max
MEM_ZERO 0 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_slab_uaf() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 2103146132634918912
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 1-ptr_max
MEM_ZERO 0 pool
NOCHECK_CALL

fs/netfs/main.c netfs_exit() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 2318890383577444352
NOCHECK_CALL

fs/netfs/main.c netfs_exit() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 7898817044679163904
NOCHECK_CALL

fs/netfs/main.c netfs_exit() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 7496961493569318912
NOCHECK_CALL

fs/netfs/main.c netfs_init() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 2318890383577444352
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->curr_nr 0-s32max
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 100
PARAM_VALUE 0 pool->pool_data 1-u64max
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
NOCHECK_CALL

fs/netfs/main.c netfs_init() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 7898817044679163904
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->curr_nr 0-s32max
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 100
PARAM_VALUE 0 pool->pool_data 1-u64max
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
NOCHECK_CALL

fs/netfs/main.c netfs_init() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 7496961493569318912
PARAM_VALUE 0 pool->alloc 478628002987114496
PARAM_VALUE 0 pool->curr_nr 0-s32max
PARAM_VALUE 0 pool->free 9178302734063534080
PARAM_VALUE 0 pool->min_nr 100
PARAM_VALUE 0 pool->pool_data 328
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-pcache/cache_key.c cache_tree_exit() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pool->min_nr

drivers/md/dm-pcache/cache_key.c cache_tree_init() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->curr_nr 1-s32max
PARAM_VALUE 0 pool->elements 1-u64max
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 1024
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/gpu/drm/xe/xe_guc_relay.c __fini_relay() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &component_mutex

drivers/md/dm-thin.c __pool_destroy() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL
LOCK2 global &dm_thin_pool_table.mutex
TYPE_LOCK (struct dm_thin_pool_table)->mutex

drivers/md/dm-thin.c pool_create() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->curr_nr 1-s32max
PARAM_VALUE 0 pool->elements 1-u64max
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 1024
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
NOCHECK_CALL
LOCK2 global &dm_thin_pool_table.mutex
HALF_LOCKED2 &md->type_lock
TYPE_LOCK (struct dm_thin_pool_table)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

block/bio.c bioset_exit() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pool->min_nr
HALF_LOCKED2 global &bch_register_lock
HALF_LOCKED2 global &tfms_init_lock

block/bio.c bioset_exit() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pool->min_nr
HALF_LOCKED2 global &bch_register_lock
HALF_LOCKED2 global &tfms_init_lock

drivers/md/raid1.c close_sync() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->elements 1-u64max
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

fs/notify/fanotify/fanotify.c fanotify_free_group_priv() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 1001137658895979048
PARAM_VALUE 0 pool->elements 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &nfsd_mutex

drivers/md/dm-bio-prison-v2.c dm_bio_prison_destroy_v2() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pool->min_nr
HALF_LOCKED2 &cache->background_work_lock

drivers/md/dm-io.c dm_io_client_create() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->curr_nr 0-s32max
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 1-1024
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-io.c dm_io_client_destroy() -> mempool_exit()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pool->min_nr

drivers/md/dm-pcache/backing_dev.c backing_dev_exit() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-pcache/backing_dev.c backing_dev_exit() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-pcache/backing_dev.c backing_dev_init() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->curr_nr 1-s32max
PARAM_VALUE 0 pool->elements 1-u64max
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 128
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-crypt.c crypt_dtr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-crypt.c crypt_dtr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-crypt.c crypt_dtr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-region-hash.c dm_region_hash_destroy() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pool->min_nr

drivers/md/raid10.c close_sync() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->elements 1-u64max
NOCHECK_CALL

drivers/md/raid10.c raid10_free_conf() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-bio-prison-v1.c dm_bio_prison_destroy() -> mempool_exit()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &dm_thin_pool_table.mutex
TYPE_LOCK (struct dm_thin_pool_table)->mutex

mm/mempool.c mempool_destroy() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 1-u64max
BUF_SIZE 0 pool (-1),200
BUF_SIZE 0 pool (-1),200
DATA_SOURCE 0 pool $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pool->min_nr 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 pool->curr_nr
NO_OVERFLOW_SIMPLE 0 pool->min_nr
HALF_LOCKED2 &dev->odp_eq_mutex
HALF_LOCKED2 &ha->mq_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &subsys->lock
HALF_LOCKED2 global &fcoe_config_mutex
HALF_LOCKED2 global &sd_mutex_lock
HALF_LOCKED2 global &tfms_init_lock

mm/mempool.c mempool_init_node() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->curr_nr s32min-2147483646
PARAM_VALUE 0 pool->elements 1-u64max
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev->prev 4096-ptr_max
BUF_SIZE 0 pool (-1),200
BUF_SIZE 0 pool (-1),200
BUF_SIZE 0 pool->elements 8
BUF_SIZE 0 pool->pool_data (-1),1216,1600,1752-s32max
CAPPED_DATA 0 pool 1
CAPPED_DATA 0 pool->curr_nr 1
DATA_SOURCE 0 pool $0
STR_LEN 0 pool (-1),6,12
STR_LEN 0 pool (-1),6,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pool->min_nr 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 pool->min_nr
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex

drivers/md/bcache/super.c cache_set_free() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &bch_register_lock

drivers/md/bcache/super.c cache_set_free() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &bch_register_lock

drivers/md/bcache/super.c cache_set_free() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &bch_register_lock

fs/smb/client/cifsfs.c cifs_destroy_netfs() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 2778434152395120640
NOCHECK_CALL

fs/smb/client/cifsfs.c cifs_destroy_netfs() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 84460413493075968
NOCHECK_CALL

fs/smb/client/cifsfs.c cifs_init_netfs() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 84460413493075968
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->curr_nr 0-s32max
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 100
PARAM_VALUE 0 pool->pool_data 1-u64max
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
NOCHECK_CALL

fs/smb/client/cifsfs.c destroy_mids() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 2804273731237773312
NOCHECK_CALL

fs/btrfs/bio.c btrfs_bioset_exit() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 5263048979484901376
NOCHECK_CALL

drivers/md/raid5-cache.c r5l_exit_log() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mddev->reconfig_mutex

drivers/md/raid5-cache.c r5l_exit_log() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mddev->reconfig_mutex

drivers/md/raid5-cache.c r5l_init_log() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc 8450676485683146752
PARAM_VALUE 0 pool->curr_nr 1-s32max
PARAM_VALUE 0 pool->elements 1-u64max
PARAM_VALUE 0 pool->free 9039121080127385600
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 0
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex

drivers/md/raid5-cache.c r5l_init_log() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc 7276475779886346240
PARAM_VALUE 0 pool->curr_nr 1-s32max
PARAM_VALUE 0 pool->elements 1-u64max
PARAM_VALUE 0 pool->free 8263660038527102976
PARAM_VALUE 0 pool->min_nr 4
PARAM_VALUE 0 pool->pool_data 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->wait.head.prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-verity-fec.c verity_fec_dtr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-verity-fec.c verity_fec_dtr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-verity-fec.c verity_fec_dtr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-verity-fec.c verity_fec_dtr() -> mempool_exit()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NOCHECK_CALL