Documented in 1 files:
Defined in 2 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/fs-writeback.c __writeback_inodes_sb_nr() -> bdi_split_work_to_wbs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdi | 4096-8758242183623655423,8758242183623655425-ptr_max |
| PARAM_VALUE | 0 | bdi->tot_write_bandwidth.counter | 1 |
| PARAM_VALUE | 0 | bdi->wb_switch_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | bdi->wb_switch_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | base_work | 3304076945994555392 |
| PARAM_VALUE | 1 | base_work->done | 1399623832212881408 |
| PARAM_VALUE | 1 | base_work->for_sync | 0 |
| PARAM_VALUE | 1 | base_work->nr_pages | s64min-(-2),0-s64max |
| PARAM_VALUE | 1 | base_work->reason | 2,4 |
| PARAM_VALUE | 1 | base_work->sb | 4096-ptr_max |
| PARAM_VALUE | 1 | base_work->sync_mode | 0 |
| PARAM_VALUE | 1 | base_work->tagged_writepages | 1 |
| DATA_SOURCE | 2 | skip_if_busy | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &sb->s_umount |
fs/fs-writeback.c sync_inodes_sb() -> bdi_split_work_to_wbs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdi | 4096-8758242183623655423,8758242183623655425-ptr_max |
| PARAM_VALUE | 0 | bdi->wb_switch_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bdi->wb_switch_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | bdi->wb_switch_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | bdi->wb_switch_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | bdi->wb_switch_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | base_work | 7810454989442924544 |
| PARAM_VALUE | 1 | base_work->done | 1431018746511237120 |
| PARAM_VALUE | 1 | base_work->for_sync | 1 |
| PARAM_VALUE | 1 | base_work->nr_pages | s64max |
| PARAM_VALUE | 1 | base_work->reason | 2 |
| PARAM_VALUE | 1 | base_work->sb | 4096-ptr_max |
| PARAM_VALUE | 1 | base_work->sync_mode | 1 |
| PARAM_VALUE | 2 | skip_if_busy | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &bdi->wb_switch_rwsem | |
| HALF_LOCKED2 | &sb->s_umount | ||
| TYPE_LOCK | (struct backing_dev_info)->wb_switch_rwsem |