Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/btrfs/scrub.c scrub_supers() -> btrfs_sb_log_location()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
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->scrub_ctx 4096-ptr_max
PARAM_VALUE 0 device->scrub_ctx->csum_path.search_commit_root 1
PARAM_VALUE 0 device->scrub_ctx->csum_path.skip_locking 1
PARAM_VALUE 0 device->scrub_ctx->extent_path.search_commit_root 1
PARAM_VALUE 0 device->scrub_ctx->extent_path.skip_locking 1
PARAM_VALUE 0 device->scrub_ctx->first_free 0
PARAM_VALUE 0 device->scrub_ctx->fs_info 4096-ptr_max
PARAM_VALUE 0 device->scrub_ctx->is_dev_replace 0
PARAM_VALUE 0 device->scrub_ctx->readonly 0
PARAM_VALUE 0 device->scrub_ctx->refs.refs.counter 1
PARAM_VALUE 0 device->scrub_ctx->throttle_deadline 0
PARAM_VALUE 0 device->scrub_ctx->wr_lock.magic 4096-ptr_max
PARAM_VALUE 1 mirror 0-2
PARAM_VALUE 2 rw 0
PARAM_VALUE 3 bytenr_ret 6831653244224036864
BUF_SIZE 0 device->scrub_ctx 56984
DATA_SOURCE 0 device $1
FUZZY_MAX 1 mirror 2
CAPABLE 0 21
HARD_MAX 1 mirror 2
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/disk-io.c wait_dev_supers() -> btrfs_sb_log_location()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->bdev 1-u64max
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 1 mirror 0-2
PARAM_VALUE 2 rw 0
PARAM_VALUE 3 bytenr_ret 7698501411736059904
CAPPED_DATA 1 mirror 1
DATA_SOURCE 0 device $0
FUZZY_MAX 1 mirror 2
HARD_MAX 1 mirror 2
RX_PATH
LOCK2 &fs_info->fs_devices->device_list_mutex
LOCK2 &fs_info->tree_log_mutex
TYPE_LOCK (struct btrfs_fs_devices)->device_list_mutex
TYPE_LOCK (struct btrfs_fs_info)->tree_log_mutex

fs/btrfs/disk-io.c write_dev_supers() -> btrfs_sb_log_location()

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_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_devices 4096-ptr_max
PARAM_VALUE 1 mirror 0-2
PARAM_VALUE 2 rw 1
PARAM_VALUE 3 bytenr_ret 255522088948793344
CAPPED_DATA 1 mirror 1
DATA_SOURCE 0 device $0
RX_PATH
LOCK2 &fs_info->fs_devices->device_list_mutex
LOCK2 &fs_info->tree_log_mutex
TYPE_LOCK (struct btrfs_fs_devices)->device_list_mutex
TYPE_LOCK (struct btrfs_fs_info)->tree_log_mutex