Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/md/dm-zone.c dm_zone_endio() -> bdev_offset_from_zone_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | sector | 0-u64max |
| UNITS | 1 | sector | unit_byte |
| HALF_LOCKED2 | &clone->bi_bdev->bd_queue->queue_lock |
block/blk-core.c bdev_is_zone_start() -> bdev_offset_from_zone_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| DATA_SOURCE | 0 | bdev | $0 |
| DATA_SOURCE | 1 | sector | $1 |
| NOSPEC | 1 | sector | |
| NOSPEC | 1 | sector | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bdev->bd_queue->last_merge->__sector | 0-18446744073709551614 |
| HOST_DATA | 1 | sector | 0-u64max |
| USER_DATA | 1 | sector | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_disk->queue->queue_hw_ctx | |
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_disk->queue->stats | |
| UNITS | 0 | bdev | unit_byte |
| UNITS | 1 | sector | unit_byte |
| HALF_LOCKED2 | &cache->writeback_lock | ||
| HALF_LOCKED2 | &head->srcu | ||
| HALF_LOCKED2 | &md->io_barrier | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &zmd->mblk_sem | ||
| HALF_LOCKED2 | global &bch_register_lock | ||
| HALF_LOCKED2 | 0 | &bdev->bd_queue->queue_lock |
block/blk-zoned.c bdev_is_zone_start() -> bdev_offset_from_zone_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| DATA_SOURCE | 0 | bdev | $0 |
| DATA_SOURCE | 1 | sector | $1 |
| NOSPEC | 1 | sector | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bdev->bd_queue->last_merge->__sector | 0-s32max[c] |
| HOST_DATA | 1 | sector | 0-s32max[c] |
| USER_DATA | 1 | sector | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | sector | |
| UNITS | 0 | bdev | unit_byte |
| UNITS | 1 | sector | unit_byte |
| HALF_LOCKED2 | &dev_replace->rwsem | ||
| HALF_LOCKED2 | &fs_info->dev_replace.rwsem | ||
| HALF_LOCKED2 | &fs_info->fs_devices->device_list_mutex | ||
| HALF_LOCKED2 | &fs_info->tree_log_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &zmd->map_lock | ||
| HALF_LOCKED2 | 0 | &bdev->bd_mapping->host->i_rwsem | |
| HALF_LOCKED2 | 0 | &bdev->bd_mapping->invalidate_lock |
block/blk-zoned.c bio_offset_from_zone_start() -> bdev_offset_from_zone_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| NOSPEC | 1 | sector | |
| NOSPEC | 1 | sector | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bdev->bd_queue->last_merge->__sector | 0-s32max[c] |
| HOST_DATA | 1 | sector | 0-u64max |
| USER_DATA | 1 | sector | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_disk->queue->queue_hw_ctx | |
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_disk->queue->stats | |
| UNITS | 0 | bdev | unit_byte |
| UNITS | 1 | sector | unit_byte |
| LOCK2 | &zwplug->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | 0 | &bdev->bd_queue->queue_lock | |
| TYPE_LOCK | (struct blk_zone_wplug)->lock |
block/blk-zoned.c disk_get_or_alloc_zone_wplug() -> bdev_offset_from_zone_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | sector | $1 |
| NOSPEC | 1 | sector | |
| NOSPEC | 1 | sector | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | sector | 0-u64max |
| USER_DATA | 1 | sector | 0-u64max |
| UNITS | 1 | sector | unit_byte |
drivers/md/dm-table.c bdev_is_zone_start() -> bdev_offset_from_zone_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| DATA_SOURCE | 0 | bdev | $0 |
| DATA_SOURCE | 1 | sector | $1 |
| UNITS | 1 | sector | unit_byte |