Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nilfs2/super.c nilfs_fill_super() -> destroy_nilfs()

Type Parameter Key Value
PARAM_VALUE 0 nilfs 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_bdev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_blocks_per_segment 0-u32max
PARAM_VALUE 0 nilfs->ns_blocksize 1024-65536
PARAM_VALUE 0 nilfs->ns_blocksize_bits 9-73
PARAM_VALUE 0 nilfs->ns_cpfile->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nilfs->ns_cpfile->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nilfs->ns_cpfile->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dat->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nilfs->ns_dat->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nilfs->ns_dat->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dev_kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dev_kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dev_kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dev_kobj.state_in_sysfs 0-1
PARAM_VALUE 0 nilfs->ns_dev_kobj_unregister.done 0-4294967295
PARAM_VALUE 0 nilfs->ns_dev_kobj_unregister.wait.lock.magic 0-4294967295
PARAM_VALUE 0 nilfs->ns_dev_kobj_unregister.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 nilfs->ns_dirty_files.next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dirty_files.next->next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dirty_files.prev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dirty_files.prev->next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dirty_files.prev->prev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_flushed_device s32min-s32max
PARAM_VALUE 0 nilfs->ns_gc_inodes.next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_gc_inodes.next->next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_gc_inodes.prev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_gc_inodes.prev->next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_gc_inodes.prev->prev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_inode_size 0-u16max
PARAM_VALUE 0 nilfs->ns_mount_state 0-65536
PARAM_VALUE 0 nilfs->ns_ndirtyblks.counter 0
PARAM_VALUE 0 nilfs->ns_nrsvsegs 8-u64max
PARAM_VALUE 0 nilfs->ns_r_segments_percentage 0-u32max
PARAM_VALUE 0 nilfs->ns_sb 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_sb->s_root 0
PARAM_VALUE 0 nilfs->ns_sb_update_freq 10
PARAM_VALUE 0 nilfs->ns_sbp 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_sbsize 0-u16max
PARAM_VALUE 0 nilfs->ns_sbwcount 0-4294967295
PARAM_VALUE 0 nilfs->ns_segctor_sem.count.counter 0
PARAM_VALUE 0 nilfs->ns_segctor_sem.dep_map->name 0-255
PARAM_VALUE 0 nilfs->ns_segctor_sem.first_waiter 0
PARAM_VALUE 0 nilfs->ns_segctor_sem.magic 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_segctor_sem.osq.tail.counter 0
PARAM_VALUE 0 nilfs->ns_segctor_sem.owner.counter 0
PARAM_VALUE 0 nilfs->ns_sem.dep_map->name 0-255
PARAM_VALUE 0 nilfs->ns_sem.first_waiter->handoff_set 1
PARAM_VALUE 0 nilfs->ns_sem.first_waiter->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 0 nilfs->ns_sem.first_waiter->list.prev 2212933610777083904,2624917664208203776
PARAM_VALUE 0 nilfs->ns_sem.first_waiter->type 0-1
PARAM_VALUE 0 nilfs->ns_snapshot_mount_mutex.dep_map->name 0-255
PARAM_VALUE 0 nilfs->ns_snapshot_mount_mutex.magic 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_sufile->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nilfs->ns_sufile->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nilfs->ns_sufile->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
BUF_SIZE 0 nilfs 1400
BUF_SIZE 0 nilfs->ns_sb (-1),2880
CAPPED_DATA 0 nilfs->ns_blocks_per_segment 1
CAPPED_DATA 0 nilfs->ns_blocksize 1
DATA_SOURCE 0 nilfs r alloc_nilfs
STR_LEN 0 nilfs->ns_sb (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 nilfs->ns_cpfile->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_cpfile->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_cpfile->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_cpfile->i_ino 0-u64max
USER_DATA 0 nilfs->ns_cpfile->i_mode 0-u16max[c]
USER_DATA 0 nilfs->ns_cpfile->i_rdev 0-u32max[c]
USER_DATA 0 nilfs->ns_dat->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_dat->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_dat->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_dat->i_ino 0-u64max
USER_DATA 0 nilfs->ns_dat->i_mode 0-u16max[c]
USER_DATA 0 nilfs->ns_dat->i_rdev 0-u32max[c]
USER_DATA 0 nilfs->ns_sb->s_flags 0-2147486719[c]
USER_DATA 0 nilfs->ns_sufile->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_sufile->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_sufile->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_sufile->i_ino 0-u64max
USER_DATA 0 nilfs->ns_sufile->i_mode 0-u16max[c]
USER_DATA 0 nilfs->ns_sufile->i_rdev 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 nilfs->ns_cpfile->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 nilfs->ns_dat->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 nilfs->ns_sufile->i_mapping->host->i_bytes
HALF_LOCKED2 &fc->uapi_mutex

fs/nilfs2/super.c nilfs_put_super() -> destroy_nilfs()

Type Parameter Key Value
PARAM_VALUE 0 nilfs 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_cpfile 0,4096-ptr_max
PARAM_VALUE 0 nilfs->ns_cpfile->i_io_list.next->prev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_cpfile->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_cpfile->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nilfs->ns_cpfile->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nilfs->ns_cpfile->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nilfs->ns_cpfile->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 nilfs->ns_cpfile->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_cpfile->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nilfs->ns_dat 0,4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dat->i_io_list.next->prev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dat->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dat->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nilfs->ns_dat->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nilfs->ns_dat->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nilfs->ns_dat->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dat->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dat->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nilfs->ns_dev_kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dev_kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dev_kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dev_kobj.parent 0
PARAM_VALUE 0 nilfs->ns_dev_kobj.parent->release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dev_kobj.parent->release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_dev_kobj.sd 0
PARAM_VALUE 0 nilfs->ns_dev_kobj.sd->__parent 0
PARAM_VALUE 0 nilfs->ns_dev_kobj.state_in_sysfs 0
PARAM_VALUE 0 nilfs->ns_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nilfs->ns_sem.first_waiter->type 0-1
PARAM_VALUE 0 nilfs->ns_sufile 0,4096-ptr_max
PARAM_VALUE 0 nilfs->ns_sufile->i_io_list.next->prev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_sufile->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_sufile->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nilfs->ns_sufile->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nilfs->ns_sufile->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nilfs->ns_sufile->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 nilfs->ns_sufile->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_sufile->i_wb->list_lock.rlock.dep_map->name 0-255
BUF_SIZE 0 nilfs (-1),4416
BUF_SIZE 0 nilfs (-1),4416
CAPPED_DATA 0 nilfs->ns_cpfile 1
CAPPED_DATA 0 nilfs->ns_dat 1
CAPPED_DATA 0 nilfs->ns_dev_subgroups 1
CAPPED_DATA 0 nilfs->ns_sufile 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 nilfs->ns_cpfile->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 nilfs->ns_dat->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 nilfs->ns_sufile->i_mapping->host->i_bytes
UNITS 0 nilfs unit_byte
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &cifs_mount_mutex