Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
fs/btrfs/scrub.c btrfs_check_super_location() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->zone_info | 1-u64max |
| BUF_SIZE | 0 | device->scrub_ctx | 72344 |
| DATA_SOURCE | 0 | device | $0 |
| DATA_SOURCE | 1 | pos | $1 |
| CAPABLE | 0 | 21 | |
| USER_DATA | 0 | device->scrub_ctx->stat.last_physical | 0-u64max |
| LOCK2 | &fs_info->fs_devices->device_list_mutex | ||
| TYPE_LOCK | (struct btrfs_fs_devices)->device_list_mutex |
fs/btrfs/scrub.c fill_writer_pointer_gap() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | pos | $1 |
| UNITS | 1 | pos | unit_byte |
fs/btrfs/scrub.c scrub_stripe() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| UNITS | 1 | pos | unit_byte |
fs/btrfs/zoned.c btrfs_ensure_empty_zones() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->zone_info | 4096-ptr_max |
| PARAM_VALUE | 1 | pos | 0-18446744073709551614 |
| CAPPED_DATA | 1 | pos | 1 |
| CAPPED_DATA | 1 | pos | 1 |
| DATA_SOURCE | 0 | device | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | pos | unit_byte |
| LOCK2 | &fs_info->chunk_mutex | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | global &uuid_mutex | ||
| TYPE_LOCK | (struct btrfs_fs_info)->chunk_mutex |
fs/btrfs/zoned.c btrfs_find_allocatable_zones() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->zone_info | 4096-ptr_max |
| PARAM_VALUE | 1 | pos | 0-18446744073709551614 |
| CAPPED_DATA | 1 | pos | 1 |
| CAPPED_DATA | 1 | pos | 1 |
| DATA_SOURCE | 0 | device | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | pos | unit_byte |
| LOCK2 | &fs_info->chunk_mutex | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | global &uuid_mutex | ||
| TYPE_LOCK | (struct btrfs_fs_info)->chunk_mutex |
fs/btrfs/zoned.c btrfs_load_zone_info() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->zone_info | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | pos | unit_byte |
| LOCK2 | &dev_replace->rwsem | ||
| HALF_LOCKED2 | &fs_info->chunk_mutex | ||
| TYPE_LOCK | (struct btrfs_dev_replace)->rwsem |
fs/btrfs/zoned.c btrfs_sync_zone_write_pointer() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 1 | pos | 0-18446744073709551614 |
| CAPPED_DATA | 1 | pos | 1 |
| CAPPED_DATA | 1 | pos | 1 |
| DATA_SOURCE | 0 | device | $0 |
| DATA_SOURCE | 1 | pos | $3 |
| PREEMPT_ADD | |||
| UNITS | 1 | pos | unit_byte |
| LOCK2 | &sctx->wr_lock | ||
| TYPE_LOCK | (struct scrub_ctx)->wr_lock |
fs/btrfs/zoned.c btrfs_zoned_issue_zeroout() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->zone_info | 4096-ptr_max |
| PARAM_VALUE | 1 | pos | 0-18446744073709551614 |
| CAPPED_DATA | 1 | pos | 1 |
| CAPPED_DATA | 1 | pos | 1 |
| DATA_SOURCE | 0 | device | $0 |
| DATA_SOURCE | 1 | pos | $1 |
| PREEMPT_ADD | |||
| UNITS | 1 | pos | unit_byte |
| HALF_LOCKED2 | &sctx->wr_lock |
fs/btrfs/zoned.c call_zone_finish() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->zone_info | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | pos | unit_byte |
| LOCK2 | &dev_replace->rwsem | ||
| TYPE_LOCK | (struct btrfs_dev_replace)->rwsem |
fs/btrfs/extent-tree.c btrfs_can_zone_reset() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| DATA_SOURCE | 0 | device | $0 |
| DATA_SOURCE | 1 | pos | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | pos | unit_byte |
| HALF_LOCKED2 | &fs_info->unused_bg_unpin_mutex | ||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/bio.c btrfs_submit_dev_bio() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 1 | pos | 0,512-18446744073709551104 |
| CAPPED_DATA | 0 | device->bdev | 1 |
| DATA_SOURCE | 0 | device | $0 |
| BIT_INFO | 1 | pos | 0x0,0xfffffffffffffe00 |
| BIT_INFO | 1 | pos | 0x0,0xfffffffffffffe00 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/bio.c btrfs_submit_dev_bio() -> btrfs_dev_is_sequential()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->zone_info | 4096-ptr_max |
| PARAM_VALUE | 1 | pos | 0,512-18446744073709551104 |
| CAPPED_DATA | 0 | device->bdev | 1 |
| DATA_SOURCE | 0 | device | $0 |
| BIT_INFO | 1 | pos | 0x0,0xfffffffffffffe00 |
| BIT_INFO | 1 | pos | 0x0,0xfffffffffffffe00 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |