Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/fs-writeback.c __writeback_inodes_wb() -> writeback_sb_inodes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_root | 1-u64max |
| PARAM_VALUE | 1 | wb | 4096-ptr_max |
| PARAM_VALUE | 1 | wb->bdi | 0,4096-ptr_max |
| PARAM_VALUE | 1 | wb->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | work | 4096-ptr_max |
| PARAM_VALUE | 2 | work->sb | 0 |
| CAPPED_DATA | 1 | wb | 1 |
| CAPPED_DATA | 1 | &wb->b_io | 1 |
| DATA_SOURCE | 1 | wb | $0 |
| DATA_SOURCE | 2 | work | $1 |
| PARAM_COMPARE | 1 | &wb->b_io | != $1->b_io.next |
| PREEMPT_ADD | |||
| UNITS | 0 | sb | unit_byte |
| LOCK2 | 0 | &sb->s_umount | |
| LOCK2 | 1 | &wb->list_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct bdi_writeback)->list_lock | ||
| TYPE_LOCK | (struct super_block)->s_umount |
fs/fs-writeback.c wb_writeback() -> writeback_sb_inodes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 1-u64max |
| PARAM_VALUE | 1 | wb | 4096-ptr_max |
| PARAM_VALUE | 1 | wb->bdi | 0,4096-ptr_max |
| PARAM_VALUE | 1 | wb->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | wb->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | work | 4096-ptr_max |
| PARAM_VALUE | 2 | work->list.next | 4096-ptr_max |
| PARAM_VALUE | 2 | work->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | work->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 2 | work->list.prev | 4096-ptr_max |
| PARAM_VALUE | 2 | work->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 2 | work->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 2 | work->nr_pages | 1-s64max |
| PARAM_VALUE | 2 | work->sb | 1-u64max |
| CAPPED_DATA | 1 | wb | 1 |
| CAPPED_DATA | 1 | &wb->b_io | 1 |
| DATA_SOURCE | 1 | wb | $0 |
| DATA_SOURCE | 2 | work | $1 |
| UNITS | 0 | sb | unit_byte |
| LOCK2 | 1 | &wb->list_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct bdi_writeback)->list_lock |