Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/btrfs/dev-replace.c btrfs_dev_replace_start() -> btrfs_sysfs_add_device()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->alloc_state.owner 10
PARAM_VALUE 0 device->dev_stats_valid 1
PARAM_VALUE 0 device->devt 1-4294967295
PARAM_VALUE 0 device->fs_info s64min-(-4096),4096-s64max
PARAM_VALUE 0 device->generation 0
CAPABLE 0 21

fs/btrfs/volumes.c btrfs_init_new_device() -> btrfs_sysfs_add_device()

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->bdev_file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 device->bdev_file->__f_path.mnt 0
PARAM_VALUE 0 device->bdev_file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 device->bdev_file->f_ep 0
PARAM_VALUE 0 device->bdev_file->f_flags 0,32768-u32max
PARAM_VALUE 0 device->bdev_file->f_inode 4096-ptr_max
PARAM_VALUE 0 device->bdev_file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 device->bdev_file->f_mapping 4096-ptr_max
PARAM_VALUE 0 device->bdev_file->f_mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 device->bdev_file->f_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 device->bdev_file->f_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 device->bdev_file->f_mode 0,64-u32max
PARAM_VALUE 0 device->bdev_file->f_op 8212791493360840704
PARAM_VALUE 0 device->bdev_file->f_owner 0
PARAM_VALUE 0 device->bdev_file->f_pos 0
PARAM_VALUE 0 device->bdev_file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 device->bdev_file->f_ra.async_size 0
PARAM_VALUE 0 device->bdev_file->f_ra.mmap_miss 0
PARAM_VALUE 0 device->bdev_file->f_ra.order 0
PARAM_VALUE 0 device->bdev_file->f_ra.prev_pos 0
PARAM_VALUE 0 device->bdev_file->f_ra.ra_pages 0
PARAM_VALUE 0 device->bdev_file->f_ra.size 0
PARAM_VALUE 0 device->bdev_file->f_ra.start 0
PARAM_VALUE 0 device->bdev_file->f_ref.refcnt.counter 0
PARAM_VALUE 0 device->bdev_file->f_sb_err 0
PARAM_VALUE 0 device->bdev_file->f_security 0
PARAM_VALUE 0 device->bdev_file->private_data 4096-ptr_max
PARAM_VALUE 0 device->dev_alloc_list.next->next 4096-ptr_max
PARAM_VALUE 0 device->dev_alloc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 device->dev_alloc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 device->dev_list.next->next 4096-ptr_max
PARAM_VALUE 0 device->dev_list.prev->next 4096-ptr_max
PARAM_VALUE 0 device->dev_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 device->fs_devices 4096-ptr_max
PARAM_VALUE 0 device->fs_devices->device_list_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 device->fs_devices->device_list_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 device->fs_devices->device_list_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 device->fs_devices->temp_fsid 0
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->fs_info->exclusive_operation 3
PARAM_VALUE 0 device->fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 0 device->fs_info->sb 4096-ptr_max
PARAM_VALUE 0 device->post_commit_list.next->next 4096-ptr_max
PARAM_VALUE 0 device->post_commit_list.prev->next 4096-ptr_max
PARAM_VALUE 0 device->post_commit_list.prev->prev 4096-ptr_max
BUF_SIZE 0 device 936
BUF_SIZE 0 device->bdev (-1),2136
DATA_SOURCE 0 device r btrfs_alloc_device
CAPABLE 0 21
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 device->alloc_state.fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 device->alloc_state.fs_info->sectorsize
LOCK2 &fs_devices->device_list_mutex
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &uuid_mutex
TYPE_LOCK (struct btrfs_fs_devices)->device_list_mutex

fs/btrfs/sysfs.c btrfs_sysfs_add_fs_devices() -> btrfs_sysfs_add_device()

Type Parameter Key Value

fs/btrfs/sysfs.c btrfs_sysfs_add_fs_devices() -> btrfs_sysfs_add_device()

Type Parameter Key Value