Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/md.c md_bitmap_destroy() -> md_bitmap_destroy_nosysfs()

Type Parameter Key Value
PARAM_VALUE 0 mddev 4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_info.file->f_inode->i_mapping->host->i_op->get_offset_ctx 0,2606890545167454208
PARAM_VALUE 0 mddev->bitmap_info.file->f_inode->i_mapping->host->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 0 mddev->bitmap_info.file->f_inode->i_mapping->host->i_op->sync_lazytime 0,6951464784224747520
PARAM_VALUE 0 mddev->bitmap_info.file->f_inode->i_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 mddev->cluster_info->recv_thread 0-s64max
BUF_SIZE 0 mddev (-1),8,96,1296
BUF_SIZE 0 mddev (-1),8,96,1296
DATA_SOURCE 0 mddev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 mddev->bio_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->bio_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->io_clone_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->io_clone_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->sync_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->sync_set.bvec_pool.min_nr
HALF_LOCKED2 &rs->md.reconfig_mutex
HALF_LOCKED2 0 &mddev->reconfig_mutex

drivers/md/md-bitmap.c location_store() -> md_bitmap_destroy_nosysfs()

Type Parameter Key Value
PARAM_VALUE 0 mddev 4096-ptr_max
PARAM_VALUE 0 mddev->active_io.data 0,4096-ptr_max
PARAM_VALUE 0 mddev->active_io.data->rcu.func 1-u64max
PARAM_VALUE 0 mddev->active_io.data->rcu.next 0
PARAM_VALUE 0 mddev->active_io.percpu_count_ptr 1-u64max
PARAM_VALUE 0 mddev->kobj.sd 4096-ptr_max
PARAM_VALUE 0 mddev->kobj.sd->__parent 0
PARAM_VALUE 0 mddev->noio_flag 0,524288
PARAM_VALUE 0 mddev->reconfig_mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->reconfig_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 mddev->reconfig_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mddev->reconfig_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mddev->suspend_mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 mddev->suspend_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mddev->suspended (-2147483647)-1
DATA_SOURCE 0 mddev $0
CAPABLE 0 21
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 0 &mddev->reconfig_mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct mddev)->reconfig_mutex

drivers/md/md-bitmap.c location_store() -> md_bitmap_destroy_nosysfs()

Type Parameter Key Value
PARAM_VALUE 0 mddev 4096-ptr_max
PARAM_VALUE 0 mddev->active_io.data 0,4096-ptr_max
PARAM_VALUE 0 mddev->active_io.data->rcu.func 1-u64max
PARAM_VALUE 0 mddev->active_io.data->rcu.next 0
PARAM_VALUE 0 mddev->active_io.percpu_count_ptr 1-u64max
PARAM_VALUE 0 mddev->bitmap 0
PARAM_VALUE 0 mddev->bitmap_info.file 0
PARAM_VALUE 0 mddev->bitmap_info.offset s64min-(-1),1-s64max
PARAM_VALUE 0 mddev->noio_flag 0,524288
PARAM_VALUE 0 mddev->reconfig_mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->reconfig_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 mddev->reconfig_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mddev->reconfig_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mddev->suspend_mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 mddev->suspend_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mddev->suspended (-2147483647)-1
CAPPED_DATA 0 mddev->bitmap_info.offset 1
DATA_SOURCE 0 mddev $0
CAPABLE 0 21
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mddev->bitmap_info.offset s64min-(-1),1-s64max[c]
LOCK2 &of->mutex
LOCK2 0 &mddev->reconfig_mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct mddev)->reconfig_mutex

drivers/md/md-bitmap.c location_store() -> md_bitmap_destroy_nosysfs()

Type Parameter Key Value
PARAM_VALUE 0 mddev 4096-ptr_max
PARAM_VALUE 0 mddev->active_io.data->rcu.func 1-u64max
PARAM_VALUE 0 mddev->active_io.data->rcu.next 0
PARAM_VALUE 0 mddev->bitmap_info.file->f_inode->i_mapping->host->i_op->get_offset_ctx 0,2606890545167454208
PARAM_VALUE 0 mddev->bitmap_info.file->f_inode->i_mapping->host->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 0 mddev->bitmap_info.file->f_inode->i_mapping->host->i_op->sync_lazytime 0,6951464784224747520
PARAM_VALUE 0 mddev->bitmap_info.file->f_inode->i_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_io_list.next->prev 4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->bad_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->check_ino 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->dirty_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->erasing_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->free_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->gc_task->signal->flags 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->highest_xseqno 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->nextblock->bad_count s32min-s32max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->nextblock->dirty_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->nextblock->free_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->nextblock->offset 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->nextblock->used_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->nextblock->wasted_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->no_chk_data_crc 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->nr_erasing_blocks 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->nr_free_blocks 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->ro_error 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->s_err_report.flags 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->s_es->s_error_count 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->s_es->s_first_error_time 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->s_es->s_last_error_time 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->s_es->s_wtime 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->s_es->s_wtime_hi 0-255
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_blks_free.counter s32min-s32max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_blks_reserved 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_error s32min-s32max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_flush_head 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_flush_tail 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_head 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_idle 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_num_revoke 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_pinned.counter s32min-s32max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_tail 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_thresh1.counter s32min-s32max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sd_log_thresh2.counter s32min-s32max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->sector_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->summary->sum_buf->v32 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->summary->sum_num 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->summary->sum_padded 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->summary->sum_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->unchecked_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->used_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->wasted_size 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->wbuf_dwork.cpu s32min-s32max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->wbuf_dwork.timer.flags 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->wbuf_dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->wbuf_inodes->ino 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->wbuf_len 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->wbuf_ofs 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->wbuf_pagesize 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->xdatum_mem_usage 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->xref_dead_list->ic 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->xref_dead_list->xd 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.timer.is_hard 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.timer.is_lazy 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.timer.is_queued 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.timer.is_soft 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.work.flags 0-4294967295
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.work.function 1626621062881370112
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.work.is_hard 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.work.is_lazy 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.work.is_queued 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.work.is_soft 0-1
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 mddev->bitmap_info.file->f_mapping->host->i_wb->refcnt.percpu_count_ptr 1-u64max
PARAM_VALUE 0 mddev->bitmap_info.offset 0
PARAM_VALUE 0 mddev->cluster_info->recovery_map 0-s64max
PARAM_VALUE 0 mddev->cluster_info->recv_thread 0-s64max
PARAM_VALUE 0 mddev->kobj.sd 4096-ptr_max
PARAM_VALUE 0 mddev->kobj.sd->__parent 0
PARAM_VALUE 0 mddev->reconfig_mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->reconfig_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mddev->suspend_mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 *mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->s_es->s_last_error_func 0-255
PARAM_VALUE 0 *mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->s_first_error_func 0-255
PARAM_VALUE 0 *mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->s_last_error_func 0-255
PARAM_VALUE 0 *mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 0 *mddev->bitmap_info.file->f_mapping->host->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 0 *mddev->bitmap_info.file->f_mapping->host->i_wb->dwork.timer->entry->next->pprev 1-u64max
DATA_SOURCE 0 mddev $0
CAPABLE 0 21
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 0 &mddev->reconfig_mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct mddev)->reconfig_mutex