Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-zone.c dm_blk_report_zones() -> dm_blk_do_report_zones()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 1 | t | 1-u64max |
| PARAM_VALUE | 2 | nr_zones | 1-u32max |
| PARAM_VALUE | 3 | args | 6509454027628593152 |
| PARAM_VALUE | 3 | args->cb | 0 |
| PARAM_VALUE | 3 | args->data | 0 |
| PARAM_VALUE | 3 | args->rep_args | 0,1110972585949810688,3281133120743972864,4558383600764575744,8281394250013528064 |
| PARAM_VALUE | 3 | args->start | 0 |
| PARAM_VALUE | 3 | args->tgt | 0 |
| PARAM_VALUE | 3 | args->zone_idx | 0 |
| BUF_SIZE | 0 | md | (-1),816,1008-s32max |
| BUF_SIZE | 0 | md | (-1),816,1008-s32max |
| DATA_SOURCE | 2 | nr_zones | $2 |
| NOSPEC | 3 | args->next_sector | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | nr_zones | 1-u32max |
| USER_DATA | 3 | args->next_sector | 0-s32max[c] |
| UNITS | 0 | md | unit_byte |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | 0 | &md->io_barrier |
drivers/md/dm-zone.c dm_zone_get_reset_bitmap() -> dm_blk_do_report_zones()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk->queue | 4096-ptr_max |
| PARAM_VALUE | 1 | t | 1-u64max |
| PARAM_VALUE | 1 | t->num_targets | 1-u32max |
| PARAM_VALUE | 3 | args | 8063869151216525312 |
| PARAM_VALUE | 3 | args->cb | 1720527629321211904 |
| PARAM_VALUE | 3 | args->data | 16,4096-ptr_max |
| PARAM_VALUE | 3 | args->disk | 4096-ptr_max |
| PARAM_VALUE | 3 | args->rep_args | 0 |
| PARAM_VALUE | 3 | args->start | 0 |
| PARAM_VALUE | 3 | args->tgt | 0 |
| PARAM_VALUE | 3 | args->zone_idx | 0 |
| DATA_SOURCE | 0 | md | $0 |
| DATA_SOURCE | 1 | t | $1 |
| DATA_SOURCE | 2 | nr_zones | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | md | unit_byte |
| LOCK2 | &md->io_barrier | ||
| HALF_LOCKED2 | &bio->bi_bdev->bd_queue->queue_lock | ||
| TYPE_LOCK | (struct mapped_device)->io_barrier |