Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/md-llbitmap.c llbitmap_cond_end_sync() -> __llbitmap_flush()
| 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->curr_resync_completed | 1-18446744073709551614 |
| PARAM_VALUE | 0 | mddev->private | 4096-ptr_max |
| PARAM_VALUE | 0 | mddev->recovery_wait.lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | mddev->curr_resync_completed | 1 |
| DATA_SOURCE | 0 | mddev | $0 |
| NOCHECK_CALL |
drivers/md/md-llbitmap.c llbitmap_flush() -> __llbitmap_flush()
| 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_device.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | mddev->gendisk->part0->bd_device.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | mddev->gendisk->part0->bd_device.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | mddev->gendisk->queue->mq_kobj->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | mddev->gendisk->queue->tag_set->update_nr_hwq_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | mddev->gendisk->queue->tag_set->update_nr_hwq_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | mddev->gendisk->queue_kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | mddev->pers | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mddev->safemode_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | mddev->safemode_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | mddev->safemode_timer.function | 0 |
| DATA_SOURCE | 0 | mddev | $0 |
| 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 | &md->suspend_lock | ||
| HALF_LOCKED2 | &rs->md.reconfig_mutex | ||
| HALF_LOCKED2 | 0 | &mddev->reconfig_mutex | |
| TYPE_LOCK | (struct mddev)->reconfig_mutex |
drivers/md/md-llbitmap.c llbitmap_init() -> __llbitmap_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | mddev->bitmap | 0 |
| PARAM_VALUE | 0 | mddev->bitmap_id | s32min-13,15-s32max |
| PARAM_VALUE | 0 | mddev->bitmap_info.daemon_sleep | 30 |
| PARAM_VALUE | 0 | mddev->bitmap_info.external | 0 |
| PARAM_VALUE | 0 | mddev->bitmap_info.file | 0 |
| PARAM_VALUE | 0 | mddev->bitmap_info.offset | s64min-(-1),1-s64max |
| PARAM_VALUE | 0 | mddev->bitmap_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | mddev->gendisk | 4096-ptr_max |
| PARAM_VALUE | 0 | mddev->persistent | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | mddev->bitmap_id | 1 |
| CAPPED_DATA | 0 | mddev->bitmap_info.offset | 1 |
| NOSPEC | 0 | mddev->bitmap_info.offset | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mddev->bitmap_info.offset | s64min-(-1),1-s64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | mddev->bitmap_info.offset | |
| LOCK2 | &mddev->bitmap_info.mutex | ||
| HALF_LOCKED2 | &mddev->reconfig_mutex | ||
| HALF_LOCKED2 | &of->mutex | ||
| TYPE_LOCK | (struct mddev)->bitmap_info.mutex |