Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/dev-replace.c btrfs_dev_replace_finishing() -> btrfs_rm_dev_replace_remove_srcdev()

Type Parameter Key Value
PARAM_VALUE 0 srcdev 4096-ptr_max
PARAM_VALUE 0 srcdev->devid 0
PARAM_VALUE 0 srcdev->fs_info 4096-ptr_max
PARAM_VALUE 0 srcdev->fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 0 srcdev->fs_info->fs_devices->latest_dev 4096-ptr_max
PARAM_VALUE 0 srcdev->fs_info->sb 4096-ptr_max
PARAM_VALUE 0 srcdev->post_commit_list.next 4096-ptr_max
CAPPED_DATA 0 srcdev 1
CAPPED_DATA 0 &srcdev->post_commit_list 1
PARAM_COMPARE 0 &srcdev->post_commit_list == $0->post_commit_list.next
NOCHECK_CALL
LOCK2 &dev_replace->lock_finishing_cancel_unmount
LOCK2 &fs_devices->device_list_mutex
LOCK2 &fs_info->chunk_mutex
TYPE_LOCK (struct btrfs_dev_replace)->lock_finishing_cancel_unmount
TYPE_LOCK (struct btrfs_fs_devices)->device_list_mutex
TYPE_LOCK (struct btrfs_fs_info)->chunk_mutex