Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/fs-writeback.c wb_writeback() -> __writeback_inodes_wb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wb | 4096-ptr_max |
| PARAM_VALUE | 0 | wb->bdi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wb->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wb->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | work | 4096-ptr_max |
| PARAM_VALUE | 1 | work->nr_pages | 1-s64max |
| PARAM_VALUE | 1 | work->sb | 0 |
| CAPPED_DATA | 0 | wb | 1 |
| CAPPED_DATA | 0 | &wb->b_io | 1 |
| DATA_SOURCE | 0 | wb | $0 |
| DATA_SOURCE | 1 | work | $1 |
| LOCK2 | 0 | &wb->list_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct bdi_writeback)->list_lock |
fs/fs-writeback.c writeback_inodes_wb() -> __writeback_inodes_wb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wb | 4096-ptr_max |
| PARAM_VALUE | 0 | wb->bdi | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wb->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | work | 1084710037502525440 |
| 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 | 1024 |
| PARAM_VALUE | 1 | work->range_cyclic | 1 |
| PARAM_VALUE | 1 | work->reason | 5 |
| PARAM_VALUE | 1 | work->sb | 0 |
| PARAM_VALUE | 1 | work->sync_mode | 0 |
| PARAM_VALUE | 1 | work->tagged_writepages | 0 |
| CAPPED_DATA | 0 | &wb->b_io | 1 |
| DATA_SOURCE | 0 | wb | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &wb->list_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct bdi_writeback)->list_lock |