Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-thin-metadata.c data_block_dec() -> with_runs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | fn | 4878029963321647104 |
| BUF_SIZE | 0 | sm | 56,112 |
| BUF_SIZE | 0 | sm | 56,112 |
| DATA_SOURCE | 0 | sm | $0 |
| DATA_SOURCE | 1 | value_le | $1 |
| DATA_SOURCE | 2 | count | $2 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &td->pmd->root_lock |
drivers/md/dm-thin-metadata.c data_block_inc() -> with_runs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | fn | 8192128599179313152 |
| BUF_SIZE | 0 | sm | 56,112 |
| BUF_SIZE | 0 | sm | 56,112 |
| BUF_SIZE | 1 | value_le | (-1),4,8 |
| BUF_SIZE | 1 | value_le | (-1),4,8 |
| DATA_SOURCE | 0 | sm | $0 |
| DATA_SOURCE | 1 | value_le | $1 |
| DATA_SOURCE | 2 | count | $2 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &cache->background_work_lock | ||
| HALF_LOCKED2 | &cmd->root_lock | ||
| HALF_LOCKED2 | &md->suspend_lock |