Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/binfmt_misc.c add_entry() -> i_binfmt_misc()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
BUF_SIZE 0 inode->i_fop 272
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode r bm_get_inode
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

fs/binfmt_misc.c bm_entry_write() -> i_binfmt_misc()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
LOCK2 &root->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/binfmt_misc.c bm_evict_inode() -> i_binfmt_misc()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
CAPPED_DATA 0 inode 1
CAPPED_DATA 0 inode->i_io_list.next 1
DATA_SOURCE 0 inode $0
PARAM_COMPARE 0 &inode->i_wb_list == $0->i_wb_list.next
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes

fs/binfmt_misc.c bm_remove_entry() -> i_binfmt_misc()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
LOCK2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/binfmt_misc.c bm_status_read() -> i_binfmt_misc()

Type Parameter Key Value

fs/binfmt_misc.c bm_status_write() -> i_binfmt_misc()

Type Parameter Key Value

fs/binfmt_misc.c bm_unlink() -> i_binfmt_misc()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &target->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem