Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/fs-writeback.c wb_check_background_flush() -> wb_writeback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wb | 4096-ptr_max |
| PARAM_VALUE | 0 | wb->bdi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wb->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | work | 4274105358706208768 |
| PARAM_VALUE | 1 | work->done | 0 |
| PARAM_VALUE | 1 | work->for_background | 1 |
| PARAM_VALUE | 1 | work->for_kupdate | 0 |
| PARAM_VALUE | 1 | work->for_sync | 0 |
| PARAM_VALUE | 1 | work->nr_pages | s64max |
| PARAM_VALUE | 1 | work->range_cyclic | 1 |
| PARAM_VALUE | 1 | work->reason | 0 |
| PARAM_VALUE | 1 | work->sb | 0 |
| PARAM_VALUE | 1 | work->sync_mode | 0 |
| PARAM_VALUE | 1 | work->tagged_writepages | 0 |
| CAPPED_DATA | 0 | wb | 1 |
| DATA_SOURCE | 0 | wb | $0 |
| HALF_LOCKED2 | &pool->lock |
fs/fs-writeback.c wb_check_old_data_flush() -> wb_writeback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wb | 4096-ptr_max |
| PARAM_VALUE | 0 | wb->bdi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wb->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | work | 7773118138345492480 |
| PARAM_VALUE | 1 | work->done | 0 |
| PARAM_VALUE | 1 | work->for_background | 0 |
| PARAM_VALUE | 1 | work->for_kupdate | 1 |
| PARAM_VALUE | 1 | work->for_sync | 0 |
| PARAM_VALUE | 1 | work->nr_pages | s64min-(-2),1-s64max |
| PARAM_VALUE | 1 | work->range_cyclic | 1 |
| PARAM_VALUE | 1 | work->reason | 3 |
| PARAM_VALUE | 1 | work->sb | 0 |
| PARAM_VALUE | 1 | work->sync_mode | 0 |
| PARAM_VALUE | 1 | work->tagged_writepages | 0 |
| CAPPED_DATA | 0 | wb | 1 |
| DATA_SOURCE | 0 | wb | $0 |
| HALF_LOCKED2 | &pool->lock |
fs/fs-writeback.c wb_check_start_all() -> wb_writeback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wb | 4096-ptr_max |
| PARAM_VALUE | 0 | wb->bdi | 4096-ptr_max |
| PARAM_VALUE | 0 | wb->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | work | 862898004437164032 |
| PARAM_VALUE | 1 | work->done | 0 |
| PARAM_VALUE | 1 | work->for_background | 0 |
| PARAM_VALUE | 1 | work->for_kupdate | 0 |
| PARAM_VALUE | 1 | work->for_sync | 0 |
| PARAM_VALUE | 1 | work->range_cyclic | 1 |
| PARAM_VALUE | 1 | work->sb | 0 |
| PARAM_VALUE | 1 | work->sync_mode | 0 |
| PARAM_VALUE | 1 | work->tagged_writepages | 0 |
| CAPPED_DATA | 0 | wb | 1 |
| DATA_SOURCE | 0 | wb | $0 |
| HALF_LOCKED2 | &pool->lock |
fs/fs-writeback.c wb_check_start_dontcache() -> wb_writeback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wb | 4096-ptr_max |
| PARAM_VALUE | 0 | wb->bdi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wb->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | work | 3323918231676182528 |
| PARAM_VALUE | 1 | work->done | 0 |
| PARAM_VALUE | 1 | work->for_background | 0 |
| PARAM_VALUE | 1 | work->for_kupdate | 0 |
| PARAM_VALUE | 1 | work->for_sync | 0 |
| PARAM_VALUE | 1 | work->nr_pages | 1-s64max |
| PARAM_VALUE | 1 | work->range_cyclic | 1 |
| PARAM_VALUE | 1 | work->reason | 7 |
| PARAM_VALUE | 1 | work->sb | 0 |
| PARAM_VALUE | 1 | work->sync_mode | 0 |
| PARAM_VALUE | 1 | work->tagged_writepages | 0 |
| CAPPED_DATA | 0 | wb | 1 |
| DATA_SOURCE | 0 | wb | $0 |
| HALF_LOCKED2 | &pool->lock |
fs/fs-writeback.c wb_do_writeback() -> wb_writeback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wb | 4096-ptr_max |
| PARAM_VALUE | 0 | wb->bdi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wb->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | work | 4096-ptr_max |
| PARAM_VALUE | 1 | work->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | work->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | work->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | work->list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | work->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | work->list.prev->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | wb | 1 |
| DATA_SOURCE | 0 | wb | $0 |
| DATA_SOURCE | 1 | work | r get_next_work_item |
| PARAM_COMPARE | 0 | &wb->work_list | != $0->work_list.next |
| HALF_LOCKED2 | &pool->lock |