Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
PARAM_VALUE 0 bitmap->bp 16,4096-ptr_max
PARAM_VALUE 0 bitmap->chunkshift 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 page 0-9223372036854775806
PARAM_VALUE 2 create 1
PARAM_VALUE 3 no_hijack 1
CAPPED_DATA 1 page 1
CAPPED_DATA 1 page 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bitmap->missing_pages
NO_OVERFLOW_SIMPLE 0 bitmap->pages
NO_OVERFLOW_SIMPLE 1 page
UNITS 1 page unit_array_size
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 md_bitmap_get_counter() -> md_bitmap_checkpage()

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
PARAM_VALUE 0 bitmap->pages 1-u64max
PARAM_VALUE 1 page 0-9007199254740991
PARAM_VALUE 2 create 0-1
PARAM_VALUE 3 no_hijack 0
BUF_SIZE 0 bitmap (-1),112
BUF_SIZE 0 bitmap (-1),112
CAPPED_DATA 1 page 1
CAPPED_DATA 1 page 1
DATA_SOURCE 0 bitmap $0
DATA_SOURCE 2 create $3
PARAM_COMPARE 0 bitmap->pages > $1
PARAM_COMPARE 1 page < $0->pages
CONSTRAINT 1 page <3377
HARD_MAX 2 create 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bitmap->missing_pages
NO_OVERFLOW_SIMPLE 0 bitmap->pages
UNITS 1 page unit_array_size
HALF_LOCKED2 &bitmap->counts.lock
HALF_LOCKED2 &bitmap->mddev->bitmap_info.mutex
HALF_LOCKED2 &mddev->bitmap_info.mutex
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 0 &bitmap->lock
TYPE_LOCK (struct bitmap_counts)->lock