Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/super.c alloc_super() -> super_dev_alloc()

Type Parameter Key Value
PARAM_VALUE 0 dev 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 1 sb->s_active.counter 1
PARAM_VALUE 1 sb->s_bdi 8758242183623655424
PARAM_VALUE 1 sb->s_dentry_lru.list.next 4096-ptr_max
PARAM_VALUE 1 sb->s_dentry_lru.list.prev 4096-ptr_max
PARAM_VALUE 1 sb->s_dentry_lru.node 4096-ptr_max
PARAM_VALUE 1 sb->s_dentry_lru.xa.xa_flags 1
PARAM_VALUE 1 sb->s_dentry_lru.xa.xa_head 0
PARAM_VALUE 1 sb->s_dquot.dqio_sem.count.counter 0
PARAM_VALUE 1 sb->s_dquot.dqio_sem.dep_map->name 0-255
PARAM_VALUE 1 sb->s_dquot.dqio_sem.first_waiter 0
PARAM_VALUE 1 sb->s_dquot.dqio_sem.magic 4096-ptr_max
PARAM_VALUE 1 sb->s_dquot.dqio_sem.osq.tail.counter 0
PARAM_VALUE 1 sb->s_dquot.dqio_sem.owner.counter 0
PARAM_VALUE 1 sb->s_flags 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 sb->s_inode_lru.list.next 4096-ptr_max
PARAM_VALUE 1 sb->s_inode_lru.list.prev 4096-ptr_max
PARAM_VALUE 1 sb->s_inode_lru.node 4096-ptr_max
PARAM_VALUE 1 sb->s_inode_lru.xa.xa_flags 1
PARAM_VALUE 1 sb->s_inode_lru.xa.xa_head 0
PARAM_VALUE 1 sb->s_inodes.next 4096-ptr_max
PARAM_VALUE 1 sb->s_inodes.next->next 4096-ptr_max
PARAM_VALUE 1 sb->s_inodes.prev 4096-ptr_max
PARAM_VALUE 1 sb->s_inodes.prev->next 4096-ptr_max
PARAM_VALUE 1 sb->s_inodes.prev->prev 4096-ptr_max
PARAM_VALUE 1 sb->s_inodes_wb.next 4096-ptr_max
PARAM_VALUE 1 sb->s_inodes_wb.next->next 4096-ptr_max
PARAM_VALUE 1 sb->s_inodes_wb.prev 4096-ptr_max
PARAM_VALUE 1 sb->s_inodes_wb.prev->next 4096-ptr_max
PARAM_VALUE 1 sb->s_inodes_wb.prev->prev 4096-ptr_max
PARAM_VALUE 1 sb->s_instances.next 0
PARAM_VALUE 1 sb->s_instances.pprev 0
PARAM_VALUE 1 sb->s_maxbytes s32max
PARAM_VALUE 1 sb->s_op 1097548555466559488
PARAM_VALUE 1 sb->s_passive.refs.counter 1
PARAM_VALUE 1 sb->s_pending_errors.refs.counter 1
PARAM_VALUE 1 sb->s_security 0,4096-ptr_max
PARAM_VALUE 1 sb->s_shrink 4096-ptr_max
PARAM_VALUE 1 sb->s_shrink->batch 1024
PARAM_VALUE 1 sb->s_shrink->count_objects 5611855553569669120
PARAM_VALUE 1 sb->s_shrink->flags 2,6,10,14,18
PARAM_VALUE 1 sb->s_shrink->name 1-u64max
PARAM_VALUE 1 sb->s_shrink->private_data 4096-ptr_max
PARAM_VALUE 1 sb->s_shrink->scan_objects 7727112553868603392
PARAM_VALUE 1 sb->s_shrink->seeks 2
PARAM_VALUE 1 sb->s_sync_lock.dep_map->name 0-255
PARAM_VALUE 1 sb->s_sync_lock.first_waiter 0
PARAM_VALUE 1 sb->s_sync_lock.magic 4096-ptr_max
PARAM_VALUE 1 sb->s_sync_lock.osq.tail.counter 0
PARAM_VALUE 1 sb->s_sync_lock.owner.counter 0
PARAM_VALUE 1 sb->s_time_gran 1000000000
PARAM_VALUE 1 sb->s_time_max s64max
PARAM_VALUE 1 sb->s_time_min s64min
PARAM_VALUE 1 sb->s_umount.dep_map->name 0-255
PARAM_VALUE 1 sb->s_umount.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 sb->s_umount.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 1 sb->s_umount.magic 4096-ptr_max
PARAM_VALUE 1 sb->s_umount.osq.tail.counter 0-s32max
PARAM_VALUE 1 sb->s_umount.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 sb->s_umount.wait_lock.owner (-1)
PARAM_VALUE 1 sb->s_umount.wait_lock.owner_cpu u32max
PARAM_VALUE 1 sb->s_vfs_rename_mutex.dep_map->name 0-255
PARAM_VALUE 1 sb->s_vfs_rename_mutex.first_waiter 0
PARAM_VALUE 1 sb->s_vfs_rename_mutex.magic 4096-ptr_max
PARAM_VALUE 1 sb->s_vfs_rename_mutex.osq.tail.counter 0
PARAM_VALUE 1 sb->s_vfs_rename_mutex.owner.counter 0
PARAM_VALUE 1 sb->s_writers.rw_sem 4096-ptr_max
BUF_SIZE 1 sb 2880
BUF_SIZE 1 sb->s_bdi 2552
BUF_SIZE 1 sb->s_op 224
BUF_SIZE 1 sb->s_shrink 208
BUF_SIZE 1 sb->s_shrink->private_data 2880
BUF_SIZE 1 sb->s_user_ns (-1),1088
CAPPED_DATA 1 sb->s_dentry_lru.key 1
CAPPED_DATA 1 sb->s_inode_lru.key 1
CAPPED_DATA 1 &sb->s_umount 1
DATA_SOURCE 1 sb r _kzalloc_noprof
BIT_INFO 1 sb->s_flags 0x0,0xffffffff
BIT_INFO 1 sb->s_shrink->flags 0x2,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 sb->s_flags 0-s32max[c]
LOCK2 1 &sb->s_umount
HALF_LOCKED2 global &cifs_mount_mutex
TYPE_LOCK (struct super_block)->s_umount

fs/super.c fs_bdev_register() -> super_dev_alloc()

Type Parameter Key Value
PARAM_VALUE 1 sb 1-u64max
PARAM_VALUE 1 sb->__s_d_op->d_compare 0,4096-ptr_max
PARAM_VALUE 1 sb->__s_d_op->d_delete 0,4096-ptr_max
PARAM_VALUE 1 sb->__s_d_op->d_hash 0,4096-ptr_max
PARAM_VALUE 1 sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 1 sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 1 sb->__s_d_op->d_revalidate 0,4096-ptr_max
PARAM_VALUE 1 sb->__s_d_op->d_weak_revalidate 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 sb->s_shrink->debugfs_entry->d_parent->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 1 sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 1 *sb->s_id 0-255
PARAM_VALUE 1 *sb->s_sysfs_name 0-255
BUF_SIZE 1 sb (-1),2816,2880
BUF_SIZE 1 sb (-1),2816,2880
BUF_SIZE 1 sb->dq_op (-1),88
BUF_SIZE 1 sb->s_cop (-1),72
BUF_SIZE 1 sb->s_export_op (-1),80
BUF_SIZE 1 sb->s_op (-1),216
BUF_SIZE 1 sb->s_qcop (-1),88
BUF_SIZE 1 sb->s_vop (-1),48
BUF_SIZE 1 sb->s_xattr (-1),40
CAPPED_DATA 1 sb 1
DATA_SOURCE 1 sb $1
STR_LEN 0 dev (-1),8
STR_LEN 1 sb (-1),8
STR_LEN 1 sb->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 sb->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 1 sb->s_bdev_file->f_mode 0,64-u32max
USER_DATA 1 sb->s_flags 0-u64max[c]
UNITS 0 dev unit_array_size
UNITS 1 sb unit_byte
HALF_LOCKED2 1 &sb->s_umount