Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/encodings.c vdo_encode_super_block() -> vdo_encode_component_states()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 7315666923531128832 |
| PARAM_VALUE | 1 | *offset | 20 |
| PARAM_VALUE | 2 | states | 4096-ptr_max |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 2 | states | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | states->vdo.config.physical_blocks |