Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/btrfs/volumes.c btrfs_free_stale_devices() -> btrfs_sysfs_remove_fsid()

Type Parameter Key Value
PARAM_VALUE 0 fs_devs 4096-ptr_max
PARAM_VALUE 0 fs_devs->device_list_mutex.dep_map->name 0-255
PARAM_VALUE 0 fs_devs->device_list_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 fs_devs->device_list_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 fs_devs->device_list_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 fs_devs->num_devices 0
CAPPED_DATA 0 &fs_devs->device_list_mutex 1
CAPPED_DATA 0 &fs_devs->devices 1
CAPPED_DATA 0 &fs_devs->fs_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &uuid_mutex

fs/btrfs/sysfs.c btrfs_sysfs_add_fsid() -> btrfs_sysfs_remove_fsid()

Type Parameter Key Value
PARAM_VALUE 0 fs_devs 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj 0
PARAM_VALUE 0 fs_devs->fs_info 0,4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.entry.next 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 fs_devs->fsid_kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.kset->list.prev 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.kset->list.prev->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.kset->list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.kset->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fs_devs->fsid_kobj.ktype 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.name 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.sd 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.state_add_uevent_sent 0
PARAM_VALUE 0 fs_devs->fsid_kobj.state_in_sysfs 1
PARAM_VALUE 0 fs_devs->fsid_kobj.state_initialized 1
PARAM_VALUE 0 fs_devs->fsid_kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 fs_devs->kobj_unregister.done 0
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.lock.magic 3735899821
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.lock.owner (-1)
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.lock.owner_cpu u32max
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.task_list.prev->prev 4096-ptr_max
DATA_SOURCE 0 fs_devs $0
NOCHECK_CALL

fs/btrfs/sysfs.c btrfs_sysfs_add_fsid() -> btrfs_sysfs_remove_fsid()

Type Parameter Key Value
PARAM_VALUE 0 fs_devs 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj->entry.next 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj->entry.next->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj->entry.prev->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj->entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj->kref.refcount.refs.counter 1
PARAM_VALUE 0 fs_devs->devices_kobj->kset 0,4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj->kset->list.prev 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj->kset->list.prev->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj->kset->list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj->kset->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fs_devs->devices_kobj->ktype 1915817945436012544
PARAM_VALUE 0 fs_devs->devices_kobj->name 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj->sd 4096-ptr_max
PARAM_VALUE 0 fs_devs->devices_kobj->state_in_sysfs 1
PARAM_VALUE 0 fs_devs->devices_kobj->state_initialized 1
PARAM_VALUE 0 fs_devs->devinfo_kobj 0
PARAM_VALUE 0 fs_devs->fs_info 0,4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.entry.next 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 fs_devs->fsid_kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.kset->list.prev 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.kset->list.prev->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.kset->list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.kset->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fs_devs->fsid_kobj.ktype 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.name 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.sd 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.state_add_uevent_sent 0
PARAM_VALUE 0 fs_devs->fsid_kobj.state_in_sysfs 1
PARAM_VALUE 0 fs_devs->fsid_kobj.state_initialized 1
PARAM_VALUE 0 fs_devs->fsid_kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 fs_devs->kobj_unregister.done 0
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.lock.magic 3735899821
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.lock.owner (-1)
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.lock.owner_cpu u32max
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 fs_devs->kobj_unregister.wait.task_list.prev->prev 4096-ptr_max
BUF_SIZE 0 fs_devs->devices_kobj 248
DATA_SOURCE 0 fs_devs $0
NOCHECK_CALL

fs/btrfs/disk-io.c close_ctree() -> btrfs_sysfs_remove_fsid()

Type Parameter Key Value
PARAM_VALUE 0 fs_devs 4096-ptr_max
PARAM_VALUE 0 fs_devs->fsid_kobj.sd->attr.notify_next 0,426918848001064960
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL