Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/md-llbitmap.c llbitmap_init_state() -> llbitmap_write()

Type Parameter Key Value
PARAM_VALUE 0 llbitmap 4096-ptr_max
PARAM_VALUE 0 llbitmap->chunksize 128,256,512
PARAM_VALUE 0 llbitmap->mddev 4096-ptr_max
PARAM_VALUE 0 llbitmap->pctl 16,4096-ptr_max
PARAM_VALUE 1 state 0-1,7
PARAM_VALUE 2 pos s64min-(-513),0-s64max
CAPPED_DATA 0 llbitmap->chunks 1
CAPPED_DATA 0 llbitmap->mddev->bitmap_id 1
CAPPED_DATA 0 llbitmap->pctl 1
CAPPED_DATA 2 pos 1
DATA_SOURCE 0 llbitmap $0
FUZZY_MAX 1 state 7
PARAM_COMPARE 2 pos < $0->chunks
BIT_INFO 0 llbitmap->chunksize 0x0,0x380
NOSPEC 0 llbitmap->mddev->bitmap_info.offset
HARD_MAX 1 state 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 llbitmap->mddev->bitmap_info.offset s64min-(-1),1-s64max[c]
NO_OVERFLOW_SIMPLE 0 llbitmap->nr_pages
UNITS 2 pos unit_byte
LOCK2 &mddev->bitmap_info.mutex
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct mddev)->bitmap_info.mutex

drivers/md/md-llbitmap.c llbitmap_state_machine() -> llbitmap_write()

Type Parameter Key Value
PARAM_VALUE 0 llbitmap 4096-ptr_max
PARAM_VALUE 0 llbitmap->mddev 4096-ptr_max
PARAM_VALUE 0 llbitmap->pctl 4096-ptr_max
PARAM_VALUE 1 state 0-7
BUF_SIZE 0 llbitmap (-1),352,520
BUF_SIZE 0 llbitmap (-1),352,520
CAPPED_DATA 2 pos 1
DATA_SOURCE 0 llbitmap $0
DATA_SOURCE 2 pos $1 [m]
FUZZY_MAX 1 state 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 llbitmap->nr_pages
UNITS 2 pos unit_byte
HALF_LOCKED2 &mddev->bitmap_info.mutex
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex