Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-log-writes.c log_writes_kthread() -> log_super()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lc | 4096-ptr_max |
| PARAM_VALUE | 0 | lc->blocks_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | lc->logdev | 4096-ptr_max |
| PARAM_VALUE | 0 | lc->logging_enabled | 1 |
| PARAM_VALUE | 0 | lc->sectorsize | 0-s32max |
| BUF_SIZE | 0 | lc | 128 |
| BUF_SIZE | 0 | lc | 128 |
| CAPPED_DATA | 0 | lc->sectorsize | 1 |
| CAPPED_DATA | 0 | &lc->logging_blocks | 1 |
| DATA_SOURCE | 0 | lc | $0 |
| PARAM_COMPARE | 0 | &lc->logging_blocks | != $0->logging_blocks.next |