Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 store 9117167528831393792
PARAM_VALUE 0 store->file_pages 0-s32max
PARAM_VALUE 0 store->filemap 0,16,4096-ptr_max
PARAM_VALUE 0 store->filemap_attr 0
PARAM_VALUE 0 store->sb_index 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 store->sb_page 0,4096-ptr_max
MEM_ZERO 0 store
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 store->file_pages

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

Type Parameter Key Value
PARAM_VALUE 0 store 9117167528831393792
PARAM_VALUE 0 store->file_pages 0-s32max
PARAM_VALUE 0 store->filemap 0,16,4096-ptr_max
PARAM_VALUE 0 store->filemap_attr 0,16,4096-ptr_max
PARAM_VALUE 0 store->sb_index 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 store->sb_page 0,4096-ptr_max
MEM_ZERO 0 store
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 store->file_pages

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

Type Parameter Key Value
PARAM_VALUE 0 store 4096-ptr_max
PARAM_VALUE 0 store->file 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_free() -> md_bitmap_file_unmap()

Type Parameter Key Value
PARAM_VALUE 0 store 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cinfo->recv_mutex
HALF_LOCKED2 &mddev->reconfig_mutex