Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/md-bitmap.c __bitmap_resize() -> md_bitmap_file_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
PARAM_VALUE 0 bitmap->counts.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bitmap->counts.pages 1-u64max
PARAM_VALUE 0 bitmap->mddev 4096-ptr_max
PARAM_VALUE 0 bitmap->mddev->bitmap_info.mutex.dep_map->name 0-255
PARAM_VALUE 0 bitmap->mddev->bitmap_info.mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bitmap->mddev->bitmap_info.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 bitmap->mddev->bitmap_info.mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 bitmap->mddev->bitmap_info.mutex.wait_lock.owner (-1)
PARAM_VALUE 0 bitmap->mddev->bitmap_info.mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 bitmap->mddev->cluster_info->recv_thread 0-s64max
PARAM_VALUE 0 bitmap->storage.file 0
PARAM_VALUE 0 bitmap->storage.sb_page 0,4096-ptr_max
PARAM_VALUE 0 bitmap->storage.sb_page->flags.f 0-18446744073709551614
PARAM_VALUE 0 bitmap->storage.sb_page->private->b_count.counter s32min-s32max
PARAM_VALUE 1 block 0-18446744073709551614
BUF_SIZE 0 bitmap 352,520
BUF_SIZE 0 bitmap 352,520
BUF_SIZE 0 bitmap->counts.bp 0-u64max
BUF_SIZE 0 bitmap->mddev (-1),24,136,760,4096,4112
CAPPED_DATA 0 bitmap->counts.pages 1
CAPPED_DATA 0 &bitmap->mddev->bitmap_info.mutex 1
CAPPED_DATA 1 block 1
CAPPED_DATA 1 block 1
DATA_SOURCE 0 bitmap $0
FUZZY_MAX 1 block 0
NOSPEC 0 bitmap->mddev->bitmap_info.offset
POWER_OF_TWO 0 bitmap->mddev->bitmap_info
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 bitmap->mddev->bitmap_info.offset s64min-(-1),1-s64max[c]
NO_OVERFLOW_SIMPLE 0 bitmap->counts.missing_pages
NO_OVERFLOW_SIMPLE 0 bitmap->counts.pages
NO_OVERFLOW_SIMPLE 0 bitmap->mddev->active.counter
NO_OVERFLOW_SIMPLE 0 bitmap->mddev->bio_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bitmap->mddev->bio_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bitmap->mddev->io_clone_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bitmap->mddev->io_clone_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bitmap->mddev->openers.counter
NO_OVERFLOW_SIMPLE 0 bitmap->mddev->sync_seq.counter
NO_OVERFLOW_SIMPLE 0 bitmap->mddev->sync_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bitmap->mddev->sync_set.bvec_pool.min_nr
UNITS 1 block unit_byte
LOCK2 irq
LOCK2 0 &bitmap->counts.lock
LOCK2 0 &bitmap->mddev->bitmap_info.mutex
TYPE_LOCK (struct bitmap_counts)->lock
TYPE_LOCK (struct mddev)->bitmap_info.mutex

drivers/md/md-bitmap.c bitmap_copy_from_slot() -> md_bitmap_file_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
BUF_SIZE 0 bitmap 352,520
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex

drivers/md/md-bitmap.c bitmap_dirty_bits() -> md_bitmap_file_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
BUF_SIZE 0 bitmap 352,520
BUF_SIZE 0 bitmap 352,520
CAPPED_DATA 0 bitmap->counts.pages 1
CAPABLE 0 21
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mddev->reconfig_mutex
LOCK2 &of->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 bitmap_start_write() -> md_bitmap_file_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
PARAM_VALUE 0 bitmap->counts.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bitmap->counts.pages 1-u64max
BUF_SIZE 0 bitmap 352,520
BUF_SIZE 0 bitmap 352,520
CAPPED_DATA 0 bitmap->counts.pages 1
DATA_SOURCE 1 block $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 block unit_byte
LOCK2 irq
LOCK2 0 &bitmap->counts.lock
TYPE_LOCK (struct bitmap_counts)->lock