Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/md-bitmap.c bitmap_close_sync() -> __bitmap_end_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitmap | 4096-ptr_max |
| PARAM_VALUE | 0 | bitmap->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | bitmap->mddev->resync_max_sectors | 1-u64max |
| PARAM_VALUE | 1 | offset | 0-18446744073709551614 |
| PARAM_VALUE | 2 | blocks | 6881490524859564032 |
| PARAM_VALUE | 3 | aborted | 0 |
| BUF_SIZE | 0 | bitmap | 352,520 |
| BUF_SIZE | 0 | bitmap | 352,520 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 1 | offset | 1 |
| PARAM_COMPARE | 0 | bitmap->mddev->resync_max_sectors | > $1 |
| PARAM_COMPARE | 1 | offset | < $0->mddev->resync_max_sectors |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | offset | unit_byte |
drivers/md/md-bitmap.c bitmap_cond_end_sync() -> __bitmap_end_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitmap | 4096-ptr_max |
| PARAM_VALUE | 0 | bitmap->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | bitmap->mddev->curr_resync_completed | 1-18446744073709551614 |
| PARAM_VALUE | 0 | bitmap->mddev->recovery_wait.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bitmap->mddev->resync_max_sectors | 1-u64max |
| PARAM_VALUE | 1 | offset | 0-18446744073709551613 |
| PARAM_VALUE | 2 | blocks | 4839464276072255488 |
| PARAM_VALUE | 3 | aborted | 0 |
| BUF_SIZE | 0 | bitmap | 352,520 |
| BUF_SIZE | 0 | bitmap | 352,520 |
| CAPPED_DATA | 0 | bitmap->mddev->curr_resync_completed | 1 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 1 | offset | 1 |
| PARAM_COMPARE | 0 | bitmap->mddev->resync_max_sectors | > $1 |
| PARAM_COMPARE | 1 | offset | < $0->mddev->resync_max_sectors |
| NOCHECK_CALL | |||
| UNITS | 1 | offset | unit_byte |
drivers/md/md-bitmap.c bitmap_end_sync() -> __bitmap_end_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitmap | 1-u64max |
| PARAM_VALUE | 2 | blocks | 6819556380058689536,8015874782182694912,8289078289514217472,8637229736164839424 |
| PARAM_VALUE | 3 | aborted | 1 |
| BUF_SIZE | 0 | bitmap | 352,520 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | blocks | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/md-bitmap.c bitmap_sync_with_cluster() -> __bitmap_end_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 0-18446744073709551614 |
| PARAM_VALUE | 2 | blocks | 3303864165101215744 |
| PARAM_VALUE | 3 | aborted | 0 |
| BUF_SIZE | 0 | bitmap | 352,520 |
| BUF_SIZE | 0 | bitmap | 352,520 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 1 | offset | 1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &cinfo->recv_mutex | ||
| TYPE_LOCK | (struct md_cluster_info)->recv_mutex |