Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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->commit_total_bytes 1-u64max
PARAM_VALUE 0 device->fs_devices 4096-ptr_max
PARAM_VALUE 1 mirror 0-2
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