Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/md.c md_start_sync() -> (struct bitmap_operations)->write_all()

Type Parameter Key Value
PARAM_VALUE 0 mddev 4096-ptr_max
PARAM_VALUE 0 mddev->bitmap 1-u64max
PARAM_VALUE 0 mddev->bitmap_ops 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->part0->bd_nr_sectors 0-18014398509481983
PARAM_VALUE 0 mddev->gendisk->part0->bd_size_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mddev->pers 4096-ptr_max
PARAM_VALUE 0 mddev->pers->sync_request 1-u64max
PARAM_VALUE 0 mddev->private 4096-ptr_max
PARAM_VALUE 0 mddev->private->array_frozen 0
PARAM_VALUE 0 mddev->private->log->big_stripe_tree.xa_flags 10240
PARAM_VALUE 0 mddev->private->log->big_stripe_tree.xa_head 0
PARAM_VALUE 0 mddev->private->log->bs->rescue_workqueue->lockdep_map->name 0-255
PARAM_VALUE 0 mddev->private->log->bs.back_pad 0,64
PARAM_VALUE 0 mddev->private->log->bs.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 mddev->private->log->bs.bio_pool.curr_nr 0-s32max
PARAM_VALUE 0 mddev->private->log->bs.bio_pool.elements 0
PARAM_VALUE 0 mddev->private->log->bs.bio_pool.free 8263660038527102976
PARAM_VALUE 0 mddev->private->log->bs.bio_pool.min_nr 4
PARAM_VALUE 0 mddev->private->log->bs.bio_slab 0
PARAM_VALUE 0 mddev->private->log->bs.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 mddev->private->log->bs.bvec_pool.curr_nr 0-s32max
PARAM_VALUE 0 mddev->private->log->bs.bvec_pool.elements 0
PARAM_VALUE 0 mddev->private->log->bs.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 mddev->private->log->bs.cache 0
PARAM_VALUE 0 mddev->private->log->bs.front_pad 0
PARAM_VALUE 0 mddev->private->log->bs.rescue_list.head 0
PARAM_VALUE 0 mddev->private->log->bs.rescue_list.tail 0
PARAM_VALUE 0 mddev->private->log->bs.rescue_workqueue 0
PARAM_VALUE 0 mddev->private->log->disable_writeback_work.lockdep_map->name 0-255
PARAM_VALUE 0 mddev->private->log->io_kc->cpu_sheaves 0
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.parent 0
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.parent->release.timer.is_hard 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.parent->release.timer.is_lazy 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.parent->release.timer.is_queued 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.parent->release.timer.is_soft 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.sd 0
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.sd->__parent 0
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.sd->dir.children.rb_node 0
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.state_in_sysfs 0
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.state_initialized 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->kobj.uevent_suppress 0-1
PARAM_VALUE 0 mddev->private->log->io_kc->random_seq 0
PARAM_VALUE 0 mddev->private->log->io_kc->refcount s32min-s32max
PARAM_VALUE 0 mddev->private->log->io_mutex.first_waiter 0
PARAM_VALUE 0 mddev->private->log->io_mutex.osq.tail.counter 0
PARAM_VALUE 0 mddev->private->log->io_mutex.owner.counter 0
PARAM_VALUE 0 mddev->private->log->io_pool.alloc 7276475779886346240
PARAM_VALUE 0 mddev->private->log->io_pool.curr_nr 0-s32max
PARAM_VALUE 0 mddev->private->log->io_pool.elements 0
PARAM_VALUE 0 mddev->private->log->io_pool.free 8263660038527102976
PARAM_VALUE 0 mddev->private->log->io_pool.min_nr 4
PARAM_VALUE 0 mddev->private->log->last_checkpoint 0,8-s64max
PARAM_VALUE 0 mddev->private->log->max_free_space 0-20971520
PARAM_VALUE 0 mddev->private->log->meta_pool.alloc 8450676485683146752
PARAM_VALUE 0 mddev->private->log->meta_pool.curr_nr 0-s32max
PARAM_VALUE 0 mddev->private->log->meta_pool.elements 0
PARAM_VALUE 0 mddev->private->log->meta_pool.free 9039121080127385600
PARAM_VALUE 0 mddev->private->log->meta_pool.min_nr 4
PARAM_VALUE 0 mddev->private->log->meta_pool.pool_data 0
PARAM_VALUE 0 mddev->private->log->r5c_journal_mode 0-1
PARAM_VALUE 0 mddev->private->log->rdev s64min-(-4096),4096-s64max
PARAM_VALUE 0 mddev->private->log->rdev->mddev->can_decrease_events s32min-s32max
PARAM_VALUE 0 mddev->private->log->rdev->mddev->degraded s32min-s32max
PARAM_VALUE 0 mddev->private->log->rdev->mddev->in_sync s32min-s32max
PARAM_VALUE 0 mddev->private->log->rdev->mddev->minor_version s32min-s32max
PARAM_VALUE 0 mddev->private->log->rdev->mddev->pending_writes.counter s32min-s32max
PARAM_VALUE 0 mddev->private->log->rdev->mddev->safemode 0-4294967295
PARAM_VALUE 0 mddev->private->log->rdev->mddev->sync_set.bio_pool.curr_nr s32min-s32max
PARAM_VALUE 0 mddev->private->log->rdev->mddev->sync_set.bvec_pool.curr_nr s32min-s32max
PARAM_VALUE 0 mddev->private->log->rdev->mddev->sysfs_state->count.counter s32min-s32max
PARAM_VALUE 0 mddev->private->log->stripe_in_journal_count.counter s32min-s32max
PARAM_VALUE 0 mddev->private->nonrot_disks s32min-s32max
PARAM_VALUE 0 mddev->private->pending_bio_list.head 0
PARAM_VALUE 0 mddev->private->resync_lock.rlock.dep_map->name 0-255
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.first_waiter->task->blocked_on 0
PARAM_VALUE 0 mddev->reconfig_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mddev->reshape_position u64max
PARAM_VALUE 0 mddev->resync_offset u64max
PARAM_VALUE 0 mddev->ro 0
PARAM_VALUE 0 mddev->sysfs_degraded->attr.open->event.counter s32min-s32max
PARAM_VALUE 0 *mddev->private->log->reclaim_thread->tsk->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *mddev->private->log->reclaim_thread->tsk->pi_lock.owner (-4611686018427387904)-4611686018427387903
CONTAINER 0 -72-1768+0 $(-1)
NOCHECK_CALL
LOCK2 0 &mddev->reconfig_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mddev)->reconfig_mutex