Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/slab-depot.c finish_reference_block_write() -> update_slab_summary_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slab | 4096-ptr_max |
| PARAM_VALUE | 0 | slab->active_count | 1 |
| PARAM_VALUE | 0 | slab->allocator | 4096-ptr_max |
| PARAM_VALUE | 0 | slab->allocator->summary_entries | 4096-ptr_max |
| PARAM_VALUE | 0 | slab->dirty_blocks.last_waiter | 0 |
| PARAM_VALUE | 0 | slab->summary_waiter.callback | 5467049639842893824 |
| PARAM_VALUE | 1 | waiter | 4096-ptr_max |
| PARAM_VALUE | 1 | waiter->callback | 5467049639842893824 |
| PARAM_VALUE | 3 | load_ref_counts | 1 |
| PARAM_VALUE | 4 | is_clean | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/slab-depot.c update_tail_block_location() -> update_slab_summary_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slab | 4096-ptr_max |
| PARAM_VALUE | 1 | waiter | 4096-ptr_max |
| PARAM_VALUE | 4 | is_clean | 0 |
| CAPPED_DATA | 2 | tail_block_offset | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |