Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/super.c sget_fc() -> sget_fc param 2()

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