Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/btrfs/zoned.c btrfs_get_dev_zone() -> btrfs_get_dev_zones()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->bdev | 1-u64max |
| PARAM_VALUE | 2 | zones | 5991142769599029248,6601924089326956544 |
| PARAM_VALUE | 3 | nr_zones | 2240700978900000768 |
| PARAM_VALUE | 3 | *nr_zones | 1 |
| DATA_SOURCE | 0 | device | $0 |
| DATA_SOURCE | 1 | pos | $1 |
| DATA_SOURCE | 2 | zones | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | pos | unit_byte |
| HALF_LOCKED2 | &dev_replace->rwsem | ||
| HALF_LOCKED2 | &sctx->wr_lock |
fs/btrfs/zoned.c btrfs_get_dev_zone_info() -> btrfs_get_dev_zones()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->bdev->bd_disk->queue->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | device->bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | device->bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | device->fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | device->fs_info->dev_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | device->fs_info->dev_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | device->zone_info | 4096-ptr_max |
| PARAM_VALUE | 1 | pos | 0,512-18446744073709550592 |
| PARAM_VALUE | 2 | zones | 1-18446744073709551614 |
| PARAM_VALUE | 3 | nr_zones | 3247301658534572032 |
| PARAM_VALUE | 3 | *nr_zones | 4096 |
| BUF_SIZE | 0 | device | (-1),936 |
| BUF_SIZE | 0 | device | (-1),936 |
| BUF_SIZE | 0 | device->bdev | (-1),2136 |
| BUF_SIZE | 0 | device->bdev_file | (-1)-s32max |
| BUF_SIZE | 0 | device->zone_info | 448 |
| BUF_SIZE | 2 | zones | 262144 |
| BUF_SIZE | 2 | zones | 262144 |
| CAPPED_DATA | 1 | pos | 1 |
| DATA_SOURCE | 0 | device | $0 |
| DATA_SOURCE | 2 | zones | r __kvmalloc_node_noprof |
| BIT_INFO | 1 | pos | 0x0,0xfffffffffffffe00 |
| NO_OVERFLOW_SIMPLE | 0 | device->alloc_state.fs_info->nodesize | |
| NO_OVERFLOW_SIMPLE | 0 | device->alloc_state.fs_info->sectorsize | |
| HALF_LOCKED2 | &fs_devices->device_list_mutex |
fs/btrfs/zoned.c btrfs_get_dev_zone_info() -> btrfs_get_dev_zones()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->bdev->bd_disk->queue->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | device->bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | device->bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | device->fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | device->fs_info->dev_root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | device->fs_info->dev_root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | device->zone_info | 4096-ptr_max |
| PARAM_VALUE | 2 | zones | 4096-ptr_max |
| PARAM_VALUE | 3 | nr_zones | 3247301658534572032 |
| PARAM_VALUE | 3 | *nr_zones | 2 |
| BUF_SIZE | 0 | device | (-1),936 |
| BUF_SIZE | 0 | device | (-1),936 |
| BUF_SIZE | 0 | device->bdev | (-1),2136 |
| BUF_SIZE | 0 | device->bdev_file | (-1)-s32max |
| BUF_SIZE | 0 | device->zone_info | 448 |
| DATA_SOURCE | 0 | device | $0 |
| NO_OVERFLOW_SIMPLE | 0 | device->alloc_state.fs_info->nodesize | |
| NO_OVERFLOW_SIMPLE | 0 | device->alloc_state.fs_info->sectorsize | |
| HALF_LOCKED2 | &fs_devices->device_list_mutex |