Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
PARAM_VALUE 0 bitmap->pages 1-u64max
PARAM_VALUE 1 offset 0-18446744073709551614
PARAM_VALUE 2 inc 1
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
FUZZY_MAX 1 offset 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bitmap->missing_pages
NO_OVERFLOW_SIMPLE 0 bitmap->pages
UNITS 1 offset unit_byte
LOCK2 &bitmap->counts.lock
LOCK2 &bitmap->mddev->bitmap_info.mutex
LOCK2 irq
TYPE_LOCK (struct bitmap_counts)->lock
TYPE_LOCK (struct mddev)->bitmap_info.mutex

drivers/md/md-bitmap.c bitmap_daemon_work() -> md_bitmap_count_page()

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
PARAM_VALUE 0 bitmap->chunks 1-u64max
PARAM_VALUE 0 bitmap->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bitmap->pages 1-u64max
PARAM_VALUE 2 inc (-1)
BUF_SIZE 0 bitmap 112
CAPPED_DATA 0 bitmap->pages 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mddev->bitmap_info.mutex
LOCK2 irq
LOCK2 0 &bitmap->lock
HALF_LOCKED2 &mddev->reconfig_mutex
TYPE_LOCK (struct bitmap_counts)->lock
TYPE_LOCK (struct mddev)->bitmap_info.mutex

drivers/md/md-bitmap.c bitmap_start_write() -> md_bitmap_count_page()

Type Parameter Key Value
PARAM_VALUE 0 bitmap 1-u64max
PARAM_VALUE 0 bitmap->pages 1-u64max
PARAM_VALUE 2 inc 1
DATA_SOURCE 1 offset $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offset unit_byte
LOCK2 &bitmap->counts.lock
LOCK2 irq
TYPE_LOCK (struct bitmap_counts)->lock

drivers/md/md-bitmap.c md_bitmap_set_memory_bits() -> md_bitmap_count_page()

Type Parameter Key Value
PARAM_VALUE 0 bitmap->pages 1-u64max
PARAM_VALUE 2 inc 1
DATA_SOURCE 1 offset $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bitmap->counts.lock
LOCK2 irq
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct bitmap_counts)->lock