Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
PARAM_VALUE 0 bitmap->bp 4096-ptr_max
PARAM_VALUE 0 bitmap->pages 1-u64max
PARAM_VALUE 1 page 0-9007199254740991
BUF_SIZE 0 bitmap (-1),112
BUF_SIZE 0 bitmap (-1),112
DATA_SOURCE 0 bitmap $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bitmap->missing_pages
NO_OVERFLOW_SIMPLE 0 bitmap->pages
LOCK2 irq
HALF_LOCKED2 &bitmap->counts.lock
HALF_LOCKED2 &bitmap->mddev->bitmap_info.mutex
HALF_LOCKED2 &mddev->bitmap_info.mutex
HALF_LOCKED2 0 &bitmap->lock
TYPE_LOCK (struct bitmap_counts)->lock