Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/nullfs.c nullfs_fs_fill_super() -> make_empty_dir_inode()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->__i_nlink 1
PARAM_VALUE 0 inode->i_blocks 0
PARAM_VALUE 0 inode->i_flags 0
PARAM_VALUE 0 inode->i_fop 8974172554605899776
PARAM_VALUE 0 inode->i_generation 0
PARAM_VALUE 0 inode->i_mapping->a_ops 8032838596130566144
PARAM_VALUE 0 inode->i_nlink 1
PARAM_VALUE 0 inode->i_op 8888400814819930112
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_size 0
BUF_SIZE 0 inode->i_sb (-1),2880
DATA_SOURCE 0 inode r new_inode
STR_LEN 0 inode->i_sb (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
HALF_LOCKED2 &fc->uapi_mutex

fs/kernfs/inode.c kernfs_init_inode() -> make_empty_dir_inode()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_fop 507597894490406912
PARAM_VALUE 0 inode->i_generation 1
PARAM_VALUE 0 inode->i_mapping->a_ops 5203746311534788608
PARAM_VALUE 0 inode->i_op 8949770345195499520
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
BUF_SIZE 0 inode->i_fop 272
BUF_SIZE 0 inode->i_mapping->a_ops 144
BUF_SIZE 0 inode->i_op 256
BUF_SIZE 0 inode->i_sb (-1),2880
CAPPED_DATA 0 inode->i_sb 1
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode $1
PARAM_COMPARE 0 inode->i_sb->s_time_max >= $0->i_sb->s_time_min
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_ino 1-u32max
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
HALF_LOCKED2 &kf_root->kernfs_rwsem
HALF_LOCKED2 &root->kernfs_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &cgroup_mutex

fs/debugfs/inode.c debugfs_create_automount() -> make_empty_dir_inode()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->__i_nlink 1
PARAM_VALUE 0 inode->i_blocks 0
PARAM_VALUE 0 inode->i_flags 0
PARAM_VALUE 0 inode->i_fop 8974172554605899776
PARAM_VALUE 0 inode->i_generation 0
PARAM_VALUE 0 inode->i_mapping->a_ops 8032838596130566144
PARAM_VALUE 0 inode->i_nlink 1
PARAM_VALUE 0 inode->i_op 8888400814819930112
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_size 0
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode r debugfs_get_inode
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
HALF_LOCKED2 _T->lock

fs/proc/proc_sysctl.c proc_sys_make_inode() -> make_empty_dir_inode()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->__i_nlink 1
PARAM_VALUE 0 inode->i_blocks 0
PARAM_VALUE 0 inode->i_flags 0
PARAM_VALUE 0 inode->i_fop 6179185072003923968
PARAM_VALUE 0 inode->i_generation 0
PARAM_VALUE 0 inode->i_mapping->a_ops 8032838596130566144
PARAM_VALUE 0 inode->i_nlink 1
PARAM_VALUE 0 inode->i_op 2973858595777224704
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_size 0
BUF_SIZE 0 inode->i_fop 272
BUF_SIZE 0 inode->i_op 256
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode r new_inode
PARAM_COMPARE 0 inode->i_sb->s_time_max >= $0->i_sb->s_time_min
BIT_INFO 0 inode->i_mode 0x4000,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
HALF_LOCKED2 &inode->i_rwsem

fs/proc/inode.c proc_get_inode() -> make_empty_dir_inode()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->__i_nlink 1
PARAM_VALUE 0 inode->i_blocks 0
PARAM_VALUE 0 inode->i_flags 0
PARAM_VALUE 0 inode->i_fop 8974172554605899776
PARAM_VALUE 0 inode->i_generation 0
PARAM_VALUE 0 inode->i_mapping->a_ops 8032838596130566144
PARAM_VALUE 0 inode->i_nlink 1
PARAM_VALUE 0 inode->i_op 8888400814819930112
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_size 0
BUF_SIZE 0 inode->i_private s32min-(-2),1-s32max
BUF_SIZE 0 inode->i_sb (-1),2880
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode r new_inode
STR_LEN 0 inode->i_sb (-1),8
PARAM_COMPARE 0 inode->i_sb->s_time_max >= $0->i_sb->s_time_min
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits