Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-log.c core_dtr() -> destroy_log_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lc | 4096-ptr_max |
| BUF_SIZE | 0 | lc | 192,696 |
| BUF_SIZE | 0 | lc | 192,696 |
| CAPPED_DATA | 0 | lc->clean_bits | 1 |
| NOCHECK_CALL |
drivers/md/dm-log.c disk_dtr() -> destroy_log_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lc | 4096-ptr_max |
| PARAM_VALUE | 0 | lc->io_req.client | 4096-ptr_max |
| PARAM_VALUE | 0 | lc->io_req.client->bios->rescue_workqueue->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | lc->io_req.client->bios->rescue_workqueue->rescuer->task->delays->lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | lc->ti | 4096-ptr_max |
| PARAM_VALUE | 0 | lc->ti->table | 4096-ptr_max |
| BUF_SIZE | 0 | lc | 192,696 |
| BUF_SIZE | 0 | lc | 192,696 |
| CAPPED_DATA | 0 | lc->disk_header | 1 |
| CAPPED_DATA | 0 | lc->io_req.client | 1 |
| NOCHECK_CALL |