Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/md-bitmap.c write_sb_page() -> next_active_rdev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rdev->raid_disk | 0-s32max |
| PARAM_VALUE | 1 | mddev | 4096-ptr_max |
| NOSPEC | 1 | mddev->bitmap_info.offset | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | mddev->array_sectors | 0-4294967294[c] |
| USER_DATA | 1 | mddev->bitmap_info.offset | s64min-(-1),1-s64max[c] |
| USER_DATA | 1 | mddev->dev_sectors | 0-4294967294[c] |
| USER_DATA | 1 | mddev->resync_max_sectors | 0-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 1 | mddev->active.counter | |
| NO_OVERFLOW_SIMPLE | 1 | mddev->openers.counter | |
| NO_OVERFLOW_SIMPLE | 1 | mddev->sync_seq.counter |
drivers/md/md-bitmap.c write_sb_page() -> next_active_rdev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->raid_disk | 0-s32max |
| PARAM_VALUE | 1 | mddev | 4096-ptr_max |
| DATA_SOURCE | 0 | rdev | r next_active_rdev |
| NOSPEC | 1 | mddev->bitmap_info.offset | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | mddev->array_sectors | 0-4294967294[c] |
| USER_DATA | 1 | mddev->bitmap_info.offset | s64min-(-1),1-s64max[c] |
| USER_DATA | 1 | mddev->dev_sectors | 0-4294967294[c] |
| USER_DATA | 1 | mddev->resync_max_sectors | 0-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 1 | mddev->active.counter | |
| NO_OVERFLOW_SIMPLE | 1 | mddev->openers.counter | |
| NO_OVERFLOW_SIMPLE | 1 | mddev->sync_seq.counter |