Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/super.c set_anon_super() -> super_dev_register()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 sb->__s_d_op->d_compare 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_delete 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_dname 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_hash 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 sb->__s_d_op->d_release 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_revalidate 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 sb->__s_d_op->d_weak_revalidate 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 sb->s_active.counter 1
PARAM_VALUE 0 sb->s_bdi 8758242183623655424
PARAM_VALUE 0 sb->s_cop->empty_dir 0,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 sb->s_cop->get_context 0,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 sb->s_cop->get_devices 0,5687811845560967168
PARAM_VALUE 0 sb->s_cop->get_dummy_policy 0,5548184023414632448,6265693363421687808,7944682147525111808
PARAM_VALUE 0 sb->s_cop->has_stable_inodes 0,3981700036256542720,5332792210826772480
PARAM_VALUE 0 sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 sb->s_cop->legacy_key_prefix 0,924751349837991936,5264834109705359360,8765449967581011968
PARAM_VALUE 0 sb->s_cop->set_context 0,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 sb->s_dentry_lru.list.next 4096-ptr_max
PARAM_VALUE 0 sb->s_dentry_lru.list.prev 4096-ptr_max
PARAM_VALUE 0 sb->s_dentry_lru.node 4096-ptr_max
PARAM_VALUE 0 sb->s_dev 0-s32max
PARAM_VALUE 0 sb->s_dquot.dqio_sem.count.counter 0
PARAM_VALUE 0 sb->s_dquot.dqio_sem.dep_map->name 0-255
PARAM_VALUE 0 sb->s_dquot.dqio_sem.first_waiter 0
PARAM_VALUE 0 sb->s_dquot.dqio_sem.magic 4096-ptr_max
PARAM_VALUE 0 sb->s_dquot.dqio_sem.osq.tail.counter 0
PARAM_VALUE 0 sb->s_dquot.dqio_sem.owner.counter 0
PARAM_VALUE 0 sb->s_flags 0-2147486719
PARAM_VALUE 0 sb->s_inode_lru.list.next 4096-ptr_max
PARAM_VALUE 0 sb->s_inode_lru.list.prev 4096-ptr_max
PARAM_VALUE 0 sb->s_inode_lru.node 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes.next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes.next->next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes.prev 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes.prev->next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes.prev->prev 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes_wb.next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes_wb.next->next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes_wb.prev 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes_wb.prev->next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes_wb.prev->prev 4096-ptr_max
PARAM_VALUE 0 sb->s_instances.next 0
PARAM_VALUE 0 sb->s_instances.pprev 0
PARAM_VALUE 0 sb->s_maxbytes s32max,s64max
PARAM_VALUE 0 sb->s_min_writeback_pages 1024
PARAM_VALUE 0 sb->s_op 1097548555466559488,5796323141458313216
PARAM_VALUE 0 sb->s_passive.refs.counter 1
PARAM_VALUE 0 sb->s_pending_errors.refs.counter 1
PARAM_VALUE 0 sb->s_security 0,4096-ptr_max
PARAM_VALUE 0 sb->s_shrink 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->batch 1024
PARAM_VALUE 0 sb->s_shrink->count_objects 5611855553569669120
PARAM_VALUE 0 sb->s_shrink->flags 2,6,10,14,18
PARAM_VALUE 0 sb->s_shrink->name 1-u64max
PARAM_VALUE 0 sb->s_shrink->private_data 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->scan_objects 7727112553868603392
PARAM_VALUE 0 sb->s_shrink->seeks 2
PARAM_VALUE 0 sb->s_super_dev 4096-ptr_max
PARAM_VALUE 0 sb->s_super_dev->sd_dev 0
PARAM_VALUE 0 sb->s_super_dev->sd_ref.refs.counter 1
PARAM_VALUE 0 sb->s_sync_lock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_sync_lock.first_waiter 0
PARAM_VALUE 0 sb->s_sync_lock.magic 4096-ptr_max
PARAM_VALUE 0 sb->s_sync_lock.osq.tail.counter 0
PARAM_VALUE 0 sb->s_sync_lock.owner.counter 0
PARAM_VALUE 0 sb->s_time_gran 1,1000000000
PARAM_VALUE 0 sb->s_time_max 4294967295,s64max
PARAM_VALUE 0 sb->s_time_min s64min,0
PARAM_VALUE 0 sb->s_umount.dep_map->name 0-255
PARAM_VALUE 0 sb->s_umount.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 sb->s_umount.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 sb->s_umount.magic 4096-ptr_max
PARAM_VALUE 0 sb->s_umount.osq.tail.counter 0-s32max
PARAM_VALUE 0 sb->s_umount.wait_lock.owner (-1)
PARAM_VALUE 0 sb->s_umount.wait_lock.owner_cpu u32max
PARAM_VALUE 0 sb->s_vfs_rename_mutex.dep_map->name 0-255
PARAM_VALUE 0 sb->s_vfs_rename_mutex.first_waiter 0
PARAM_VALUE 0 sb->s_vfs_rename_mutex.magic 4096-ptr_max
PARAM_VALUE 0 sb->s_vfs_rename_mutex.osq.tail.counter 0
PARAM_VALUE 0 sb->s_vfs_rename_mutex.owner.counter 0
PARAM_VALUE 0 sb->s_writers.rw_sem 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_export_op (-1),80
BUF_SIZE 0 sb->s_fs_info (-1),32,40,48,264,360,2328,6744,11312
BUF_SIZE 0 sb->s_op (-1),224
BUF_SIZE 0 sb->s_xattr (-1),16
CAPPED_DATA 0 sb->s_dentry_lru.key 1
CAPPED_DATA 0 sb->s_inode_lru.key 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
HARD_MAX 0 sb->s_maxbytes s64max
HARD_MAX 0 sb->s_time_gran 1000000000
HARD_MAX 0 sb->s_time_max s64max
HARD_MAX 0 sb->s_time_min 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-2147486719[c]
USER_DATA 0 sb->s_super_dev->sd_sb->s_flags 0-u64max[c]
LOCK2 global &sb_lock
LOCK2 0 &sb->s_umount
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 global &cifs_mount_mutex
TYPE_LOCK (struct super_block)->s_umount

fs/super.c set_bdev_super() -> super_dev_register()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_active.counter 1
PARAM_VALUE 0 sb->s_bdi 8758242183623655424
PARAM_VALUE 0 sb->s_dentry_lru.list.next 4096-ptr_max
PARAM_VALUE 0 sb->s_dentry_lru.list.prev 4096-ptr_max
PARAM_VALUE 0 sb->s_dentry_lru.node 4096-ptr_max
PARAM_VALUE 0 sb->s_dentry_lru.xa.xa_flags 1
PARAM_VALUE 0 sb->s_dentry_lru.xa.xa_head 0
PARAM_VALUE 0 sb->s_dquot.dqio_sem.count.counter 0
PARAM_VALUE 0 sb->s_dquot.dqio_sem.dep_map->name 0-255
PARAM_VALUE 0 sb->s_dquot.dqio_sem.first_waiter 0
PARAM_VALUE 0 sb->s_dquot.dqio_sem.magic 4096-ptr_max
PARAM_VALUE 0 sb->s_dquot.dqio_sem.osq.tail.counter 0
PARAM_VALUE 0 sb->s_dquot.dqio_sem.owner.counter 0
PARAM_VALUE 0 sb->s_flags 0-s32max
PARAM_VALUE 0 sb->s_inode_lru.list.next 4096-ptr_max
PARAM_VALUE 0 sb->s_inode_lru.list.prev 4096-ptr_max
PARAM_VALUE 0 sb->s_inode_lru.node 4096-ptr_max
PARAM_VALUE 0 sb->s_inode_lru.xa.xa_flags 1
PARAM_VALUE 0 sb->s_inode_lru.xa.xa_head 0
PARAM_VALUE 0 sb->s_inodes.next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes.next->next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes.prev 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes.prev->next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes.prev->prev 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes_wb.next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes_wb.next->next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes_wb.prev 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes_wb.prev->next 4096-ptr_max
PARAM_VALUE 0 sb->s_inodes_wb.prev->prev 4096-ptr_max
PARAM_VALUE 0 sb->s_instances.next 0
PARAM_VALUE 0 sb->s_instances.pprev 0
PARAM_VALUE 0 sb->s_maxbytes s32max
PARAM_VALUE 0 sb->s_min_writeback_pages 1024
PARAM_VALUE 0 sb->s_op 1097548555466559488
PARAM_VALUE 0 sb->s_passive.refs.counter 1
PARAM_VALUE 0 sb->s_pending_errors.refs.counter 1
PARAM_VALUE 0 sb->s_security 0,4096-ptr_max
PARAM_VALUE 0 sb->s_shrink 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->batch 1024
PARAM_VALUE 0 sb->s_shrink->count_objects 5611855553569669120
PARAM_VALUE 0 sb->s_shrink->flags 2,6,10,14,18
PARAM_VALUE 0 sb->s_shrink->name 1-u64max
PARAM_VALUE 0 sb->s_shrink->private_data 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->scan_objects 7727112553868603392
PARAM_VALUE 0 sb->s_shrink->seeks 2
PARAM_VALUE 0 sb->s_super_dev 4096-ptr_max
PARAM_VALUE 0 sb->s_super_dev->sd_dev 0
PARAM_VALUE 0 sb->s_super_dev->sd_ref.refs.counter 1
PARAM_VALUE 0 sb->s_super_dev->sd_sb 4096-ptr_max
PARAM_VALUE 0 sb->s_sync_lock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_sync_lock.first_waiter 0
PARAM_VALUE 0 sb->s_sync_lock.magic 4096-ptr_max
PARAM_VALUE 0 sb->s_sync_lock.osq.tail.counter 0
PARAM_VALUE 0 sb->s_sync_lock.owner.counter 0
PARAM_VALUE 0 sb->s_time_gran 1000000000
PARAM_VALUE 0 sb->s_time_max s64max
PARAM_VALUE 0 sb->s_time_min s64min
PARAM_VALUE 0 sb->s_umount.dep_map->name 0-255
PARAM_VALUE 0 sb->s_umount.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 sb->s_umount.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 sb->s_umount.magic 4096-ptr_max
PARAM_VALUE 0 sb->s_umount.osq.tail.counter 0-s32max
PARAM_VALUE 0 sb->s_umount.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_umount.wait_lock.owner (-1)
PARAM_VALUE 0 sb->s_umount.wait_lock.owner_cpu u32max
PARAM_VALUE 0 sb->s_vfs_rename_mutex.dep_map->name 0-255
PARAM_VALUE 0 sb->s_vfs_rename_mutex.first_waiter 0
PARAM_VALUE 0 sb->s_vfs_rename_mutex.magic 4096-ptr_max
PARAM_VALUE 0 sb->s_vfs_rename_mutex.osq.tail.counter 0
PARAM_VALUE 0 sb->s_vfs_rename_mutex.owner.counter 0
PARAM_VALUE 0 sb->s_writers.rw_sem 4096-ptr_max
BUF_SIZE 0 sb 2880
BUF_SIZE 0 sb->s_fs_info (-1),32,40,48,264,360,2328,6744,11312
CAPPED_DATA 0 sb->s_dentry_lru.key 1
CAPPED_DATA 0 sb->s_inode_lru.key 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
BIT_INFO 0 sb->s_flags 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-s32max[c]
USER_DATA 0 sb->s_super_dev->sd_sb->s_flags 0-u64max[c]
LOCK2 global &sb_lock
LOCK2 0 &sb->s_umount
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 global &cifs_mount_mutex
TYPE_LOCK (struct super_block)->s_umount