Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/ioctl.c ext4_ioctl_setflags() -> ext4_change_inode_journal_flag()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_ino 2-u32max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_fs_info->s_bdev_wb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_sb->s_fs_info->s_journal->j_state_lock.dep_map->name 0-255
PARAM_VALUE 1 val 0,16384
CAPPED_DATA 0 inode 1
CAPPED_DATA 0 inode->i_ino 1
CAPPED_DATA 0 inode->i_sb 1
CAPPED_DATA 0 inode->i_sb->s_time_max 1
CAPPED_DATA 1 val 1
DATA_SOURCE 0 inode $0
PARAM_COMPARE 0 inode->i_sb->s_time_max >= $0->i_sb->s_time_min
BIT_INFO 0 inode->i_flags 0x0,0xffffdfff
BIT_INFO 1 val 0x0,0x4000
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem