Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/md-bitmap.c md_bitmap_free() -> md_cluster_stop()

Type Parameter Key Value
PARAM_VALUE 0 mddev 4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_info.nodes 2-s32max
PARAM_VALUE 0 mddev->cluster_info 1-u64max
PARAM_VALUE 0 mddev->cluster_ops 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cinfo->recv_mutex
HALF_LOCKED2 &mddev->reconfig_mutex

drivers/md/md-bitmap.c md_bitmap_read_sb() -> md_cluster_stop()

Type Parameter Key Value
PARAM_VALUE 0 mddev 4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_info.file 0,4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_ops 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk 0,4096-ptr_max
BUF_SIZE 0 mddev (-1),24,136,760,4096,4112
BUF_SIZE 0 mddev (-1),24,136,760,4096,4112
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->active.counter
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->openers.counter
NO_OVERFLOW_SIMPLE 0 mddev->sync_seq.counter
NO_OVERFLOW_SIMPLE 0 mddev->sync_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->sync_set.bvec_pool.min_nr
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex