Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/sd_zbc.c sd_zbc_report_zones() -> sd_zbc_parse_report()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdkp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdkp->capacity | 1-u64max |
| PARAM_VALUE | 0 | sdkp->device | 4096-ptr_max |
| PARAM_VALUE | 0 | sdkp->device->request_queue->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sdkp->disk | 4096-ptr_max |
| PARAM_VALUE | 0 | sdkp->disk->queue | 4096-ptr_max |
| PARAM_VALUE | 2 | idx | 0-s32max |
| PARAM_VALUE | 3 | args | 0,1110972585949810688,3281133120743972864,4558383600764575744,8281394250013528064 |
| PARAM_VALUE | 3 | args->report_active | 0-1 |
| BUF_SIZE | 0 | sdkp | (-1),816,1008-s32max |
| BUF_SIZE | 0 | sdkp | (-1),816,1008-s32max |
| CAPPED_DATA | 0 | sdkp->disk->queue->limits.max_hw_sectors | 1 |
| CAPPED_DATA | 2 | idx | 1 |
| DATA_SOURCE | 3 | args | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sdkp | unit_byte |
| UNITS | 2 | idx | unit_byte |
| HALF_LOCKED2 | &pool->lock |