Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/md-bitmap.c md_bitmap_init_from_disk() -> read_sb_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | mddev->bitmap_info.offset | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | offset | 0 |
| NOSPEC | 0 | mddev->bitmap_info.offset | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | mddev->array_sectors | 0-4294967294[c] |
| USER_DATA | 0 | mddev->bitmap_info.offset | s64min-(-1),1-s64max[c] |
| USER_DATA | 0 | mddev->dev_sectors | 0-4294967294[c] |
| USER_DATA | 0 | mddev->resync_max_sectors | 0-4294967294[c] |
| USER_DATA | 0 | mddev->resync_offset | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | mddev->bio_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->bio_set.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->io_clone_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->io_clone_set.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->raid_disks | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->sync_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->sync_set.bvec_pool.min_nr | |
| UNITS | 4 | size | unit_byte |
| HALF_LOCKED2 | &mddev->bitmap_info.mutex | ||
| HALF_LOCKED2 | &mddev->reconfig_mutex | ||
| HALF_LOCKED2 | &of->mutex |
drivers/md/md-bitmap.c md_bitmap_read_sb() -> read_sb_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | mddev->bitmap_info.file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mddev->bitmap_info.offset | s64min-(-1),1-s64max |
| PARAM_VALUE | 0 | mddev->bitmap_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0-s64max |
| PARAM_VALUE | 2 | page | 4096-ptr_max |
| PARAM_VALUE | 2 | page->_refcount.counter | 1 |
| PARAM_VALUE | 3 | index | 0 |
| PARAM_VALUE | 4 | size | 256 |
| BUF_SIZE | 0 | mddev | (-1),24,136,760,4096,4112 |
| BUF_SIZE | 0 | mddev | (-1),24,136,760,4096,4112 |
| DATA_SOURCE | 2 | page | r alloc_pages_noprof |
| FUZZY_MAX | 1 | offset | 0 |
| NOSPEC | 0 | mddev->bitmap_info.offset | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | mddev->bitmap_info.offset | s64min-(-1),1-s64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | mddev->active.counter | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->bio_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->bio_set.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->io_clone_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->io_clone_set.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->openers.counter | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->sync_seq.counter | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->sync_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | mddev->sync_set.bvec_pool.min_nr | |
| UNITS | 4 | size | unit_byte |
| HALF_LOCKED2 | &mddev->reconfig_mutex | ||
| HALF_LOCKED2 | &of->mutex |