Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 trans 4096-ptr_max
PARAM_VALUE 1 device 4096-ptr_max
PARAM_VALUE 1 device->bdev 4096-ptr_max
PARAM_VALUE 1 device->bdev->bd_disk->queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 device->bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 device->bdev->bd_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 1 device->bdev_file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 1 device->bdev_file->__f_path.mnt 0
PARAM_VALUE 1 device->bdev_file->f_cred 0,4096-ptr_max
PARAM_VALUE 1 device->bdev_file->f_ep 0
PARAM_VALUE 1 device->bdev_file->f_flags 0,32768-u32max
PARAM_VALUE 1 device->bdev_file->f_inode 4096-ptr_max
PARAM_VALUE 1 device->bdev_file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 1 device->bdev_file->f_mapping 4096-ptr_max
PARAM_VALUE 1 device->bdev_file->f_mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 1 device->bdev_file->f_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 device->bdev_file->f_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 device->bdev_file->f_mode 0,64-u32max
PARAM_VALUE 1 device->bdev_file->f_op 8212791493360840704
PARAM_VALUE 1 device->bdev_file->f_owner 0
PARAM_VALUE 1 device->bdev_file->f_pos 0
PARAM_VALUE 1 device->bdev_file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 1 device->bdev_file->f_ra.async_size 0
PARAM_VALUE 1 device->bdev_file->f_ra.mmap_miss 0
PARAM_VALUE 1 device->bdev_file->f_ra.order 0
PARAM_VALUE 1 device->bdev_file->f_ra.prev_pos 0
PARAM_VALUE 1 device->bdev_file->f_ra.ra_pages 0
PARAM_VALUE 1 device->bdev_file->f_ra.size 0
PARAM_VALUE 1 device->bdev_file->f_ra.start 0
PARAM_VALUE 1 device->bdev_file->f_ref.refcnt.counter 0
PARAM_VALUE 1 device->bdev_file->f_sb_err 0
PARAM_VALUE 1 device->bdev_file->f_security 0
PARAM_VALUE 1 device->bdev_file->private_data 4096-ptr_max
PARAM_VALUE 1 device->dev_alloc_list.next->next 4096-ptr_max
PARAM_VALUE 1 device->dev_alloc_list.prev->next 4096-ptr_max
PARAM_VALUE 1 device->dev_alloc_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 device->dev_list.next->next 4096-ptr_max
PARAM_VALUE 1 device->dev_list.prev->next 4096-ptr_max
PARAM_VALUE 1 device->dev_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 device->devid_kobj->name 0-255
PARAM_VALUE 1 device->devid_kobj.ktype 4096-ptr_max
PARAM_VALUE 1 device->devid_kobj.state_initialized 1
PARAM_VALUE 1 device->fs_devices 4096-ptr_max
PARAM_VALUE 1 device->fs_devices->device_list_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 device->fs_devices->device_list_mutex.wait_lock.owner (-1)
PARAM_VALUE 1 device->fs_devices->device_list_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 device->fs_devices->temp_fsid 0
PARAM_VALUE 1 device->fs_info 4096-ptr_max
PARAM_VALUE 1 device->fs_info->dev_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 device->fs_info->dev_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 1 device->fs_info->exclusive_operation 3
PARAM_VALUE 1 device->fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 1 device->fs_info->sb 4096-ptr_max
PARAM_VALUE 1 device->kobj_unregister.done 0
PARAM_VALUE 1 device->kobj_unregister.wait.lock.magic 3735899821
PARAM_VALUE 1 device->kobj_unregister.wait.lock.owner (-1)
PARAM_VALUE 1 device->kobj_unregister.wait.lock.owner_cpu u32max
PARAM_VALUE 1 device->kobj_unregister.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 device->kobj_unregister.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 device->kobj_unregister.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 device->kobj_unregister.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 device->kobj_unregister.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 device->post_commit_list.next->next 4096-ptr_max
PARAM_VALUE 1 device->post_commit_list.prev->next 4096-ptr_max
PARAM_VALUE 1 device->post_commit_list.prev->prev 4096-ptr_max
BUF_SIZE 1 device 936
BUF_SIZE 1 device->bdev (-1),2136
DATA_SOURCE 0 trans r btrfs_start_transaction
DATA_SOURCE 1 device r btrfs_alloc_device
CAPABLE 0 21
NO_OVERFLOW_SIMPLE 1 device->alloc_state.fs_info->nodesize
NO_OVERFLOW_SIMPLE 1 device->alloc_state.fs_info->sectorsize
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &uuid_mutex