Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/packer.c vdo_make_packer() -> make_bin()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packer | 4096-ptr_max |
| PARAM_VALUE | 0 | packer->bins.next | 4096-ptr_max |
| PARAM_VALUE | 0 | packer->bins.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packer->bins.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packer->bins.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packer->bins.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packer->size | 16 |
| PARAM_VALUE | 0 | packer->state.current_state | 1889149490642247680 |
| HALF_LOCKED2 | &md->type_lock |