Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/null_blk/zoned.c null_init_zoned_dev() -> null_init_zone_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->blocking | 1 |
| PARAM_VALUE | 0 | dev->cache_size | 0 |
| PARAM_VALUE | 0 | dev->irqmode | 0-2 |
| PARAM_VALUE | 0 | dev->mbps | 0-40960 |
| PARAM_VALUE | 0 | dev->nullb | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->nullb->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->queue_mode | 2-u32max |
| PARAM_VALUE | 0 | dev->zone_max_active | 0-4294967294 |
| PARAM_VALUE | 0 | dev->zone_max_open | 0-4294967294 |
| PARAM_VALUE | 0 | dev->zone_nr_conv | 1-u32max |
| PARAM_VALUE | 0 | dev->zone_size_sects | 0-36028797018963967 |
| PARAM_VALUE | 0 | dev->zoned | 1 |
| PARAM_VALUE | 0 | dev->zones | 4096-ptr_max |
| PARAM_VALUE | 1 | zone | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1),1776 |
| BUF_SIZE | 0 | dev | (-1),1776 |
| BUF_SIZE | 0 | dev->nullb | 792 |
| BUF_SIZE | 0 | dev->zones | 0-790273982280 |
| CAPPED_DATA | 0 | dev->imp_close_zone_no | 1 |
| CAPPED_DATA | 0 | dev->nr_zones | 1 |
| CAPPED_DATA | 0 | dev->zone_append_max_sectors | 1 |
| CAPPED_DATA | 0 | dev->zone_capacity | 1 |
| CAPPED_DATA | 0 | dev->zone_max_active | 1 |
| CAPPED_DATA | 0 | dev->zone_max_open | 1 |
| CAPPED_DATA | 0 | dev->zone_nr_conv | 1 |
| CAPPED_DATA | 0 | dev->zone_size | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| PARAM_COMPARE | 0 | dev->nr_zones | > $0->zone_nr_conv |
| PARAM_COMPARE | 0 | dev->size | >= $0->zone_capacity |
| PARAM_COMPARE | 0 | dev->size | >= $0->zone_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dev->nr_zones | |
| LOCK2 | global &lock | ||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem |
drivers/block/null_blk/zoned.c null_init_zoned_dev() -> null_init_zone_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->blocking | 1 |
| PARAM_VALUE | 0 | dev->cache_size | 0 |
| PARAM_VALUE | 0 | dev->irqmode | 0-2 |
| PARAM_VALUE | 0 | dev->mbps | 0-40960 |
| PARAM_VALUE | 0 | dev->nr_zones | 1-u32max |
| PARAM_VALUE | 0 | dev->nullb | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->nullb->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->queue_mode | 2-u32max |
| PARAM_VALUE | 0 | dev->zone_max_active | 0-4294967294 |
| PARAM_VALUE | 0 | dev->zone_max_open | 0-4294967294 |
| PARAM_VALUE | 0 | dev->zone_size_sects | 0-36028797018963967 |
| PARAM_VALUE | 0 | dev->zoned | 1 |
| PARAM_VALUE | 0 | dev->zones | 4096-ptr_max |
| PARAM_VALUE | 1 | zone | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1),1776 |
| BUF_SIZE | 0 | dev | (-1),1776 |
| BUF_SIZE | 0 | dev->nullb | 792 |
| BUF_SIZE | 0 | dev->zones | 0-790273982280 |
| CAPPED_DATA | 0 | dev->imp_close_zone_no | 1 |
| CAPPED_DATA | 0 | dev->nr_zones | 1 |
| CAPPED_DATA | 0 | dev->zone_append_max_sectors | 1 |
| CAPPED_DATA | 0 | dev->zone_capacity | 1 |
| CAPPED_DATA | 0 | dev->zone_max_active | 1 |
| CAPPED_DATA | 0 | dev->zone_max_open | 1 |
| CAPPED_DATA | 0 | dev->zone_nr_conv | 1 |
| CAPPED_DATA | 0 | dev->zone_size | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| PARAM_COMPARE | 0 | dev->nr_zones | > $0->zone_nr_conv |
| PARAM_COMPARE | 0 | dev->size | >= $0->zone_capacity |
| PARAM_COMPARE | 0 | dev->size | >= $0->zone_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dev->nr_zones | |
| LOCK2 | global &lock | ||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem |