Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/tracefs/inode.c tracefs_get_tree() -> tracefs_reconfigure()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->exclusive 0
PARAM_VALUE 0 fc->fs_private->ns_tag 0
PARAM_VALUE 0 fc->fs_type 4096-ptr_max
PARAM_VALUE 0 fc->ops 4096-ptr_max
PARAM_VALUE 0 fc->root 0,4096-ptr_max
PARAM_VALUE 0 fc->s_fs_info 0
PARAM_VALUE 0 fc->sb_flags 0-s32max
BUF_SIZE 0 fc s32min-(-1),1-s32max
BUF_SIZE 0 fc s32min-(-1),1-s32max
DATA_SOURCE 0 fc $0
STR_LEN 0 fc (-1),8
STR_LEN 0 fc (-1),8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &fc->uapi_mutex

fs/super.c reconfigure_super() -> (struct fs_context_operations)->reconfigure()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->ops 4096-ptr_max
PARAM_VALUE 0 fc->ops->reconfigure 4096-ptr_max
PARAM_VALUE 0 fc->root 4096-ptr_max
PARAM_VALUE 0 fc->root->d_sb 4096-ptr_max
PARAM_VALUE 0 fc->root->d_sb->s_cop->inode_info_offs 1632,1640,1720,1808,2632,2648,2704,2712
PARAM_VALUE 0 fc->root->d_sb->s_qcop->set_info 0,4096-ptr_max
PARAM_VALUE 0 fc->root->d_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fc->root->d_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 fc->root->d_sb->s_writers.frozen 0
PARAM_VALUE 0 fc->sb_flags_mask 0-67108862
BUF_SIZE 0 fc s32min-(-2),1-s32max
BUF_SIZE 0 fc s32min-(-2),1-s32max
DATA_SOURCE 0 fc $0
CONTAINER 0 -40-0+0 $(-1)
BIT_INFO 0 fc->sb_flags_mask 0x0,0x2800051
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fc->sb_flags 1-42041553[c]
USER_DATA 0 *fc->source 0-255
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 0 &fc->uapi_mutex