Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/md/dm-vdo/dedupe.c finish_querying() -> data_vio_has_allocation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| CAPPED_DATA | 0 | data_vio | 1 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/dedupe.c select_writing_agent() -> data_vio_has_allocation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| DATA_SOURCE | 0 | data_vio | r dequeue_lock_waiter |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/dedupe.c select_writing_agent() -> data_vio_has_allocation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| DATA_SOURCE | 0 | data_vio | r dequeue_lock_waiter |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/dedupe.c start_querying() -> data_vio_has_allocation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| DATA_SOURCE | 0 | data_vio | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/dedupe.c start_writing() -> data_vio_has_allocation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| CAPPED_DATA | 0 | data_vio | 1 |
| DATA_SOURCE | 0 | data_vio | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/dedupe.c start_writing() -> data_vio_has_allocation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | data_vio | r select_writing_agent |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/dump.c dump_data_vio() -> data_vio_has_allocation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| DATA_SOURCE | 0 | data_vio | $0 |
| PREEMPT_ADD | |||
| LOCK2 | &pool->lock | ||
| HALF_LOCKED2 | &md->io_barrier | ||
| TYPE_LOCK | (struct data_vio_pool)->lock |
drivers/md/dm-vdo/data-vio.c launch_compress_data_vio() -> data_vio_has_allocation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.pbn | 1-u64max |
| DATA_SOURCE | 0 | data_vio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/data-vio.c perform_cleanup_stage() -> data_vio_has_allocation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| CAPPED_DATA | 0 | data_vio | 1 |
| DATA_SOURCE | 0 | data_vio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/data-vio.c write_data_vio() -> data_vio_has_allocation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| DATA_SOURCE | 0 | data_vio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |