Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
block/bio-integrity.c bio_integrity_add_page() -> zone_device_pages_compatible()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | b | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | a | unit_page |
block/bio.c bio_add_page() -> zone_device_pages_compatible()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | b | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | a | unit_page |
| UNITS | 1 | b | unit_page |
| HALF_LOCKED2 | &cache->writeback_lock | ||
| HALF_LOCKED2 | &log->io_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &vi->i_rwsem |