Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/gpu/drm/xe/xe_guc_relay.c relay_is_ready() -> mempool_initialized()

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

block/bio.c bio_alloc_bioset() -> mempool_initialized()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pool->min_nr
HALF_LOCKED2 &dcc->cmd_lock
HALF_LOCKED2 &fs_info->fs_devices->device_list_mutex
HALF_LOCKED2 &fs_info->tree_log_mutex
HALF_LOCKED2 &log->io_mutex
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex

drivers/md/raid1.c init_resync() -> mempool_initialized()

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

drivers/md/raid1.c raid1_sync_request() -> mempool_initialized()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max

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

Type Parameter Key Value
PARAM_VALUE 0 pool 1001137658895979048
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &nfsd_mutex

drivers/md/raid10.c init_resync() -> mempool_initialized()

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

drivers/md/raid10.c raid10_sync_request() -> mempool_initialized()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max

fs/notify/fanotify/fanotify_user.c fanotify_group_init_error_pool() -> mempool_initialized()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
NS_CAPABLE 0 21
LOCK2 &group->mark_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex