Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ext4/acl.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 247
PARAM_VALUE 3 type 10
PARAM_VALUE 5 rsv_blocks 0
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
UNITS 1 sb unit_byte
HALF_LOCKED2 &dentry->d_lockref.lock

fs/ext4/move_extent.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 319
PARAM_VALUE 3 type 9
PARAM_VALUE 5 rsv_blocks 0
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
UNITS 1 sb unit_byte

fs/ext4/extents.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 2 line 2863,4659,4879,5078,5154,5683
PARAM_VALUE 3 type 0,3,5
PARAM_VALUE 5 rsv_blocks 0
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
HARD_MAX 2 line 5683
HARD_MAX 3 type 5
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_blocks 0-18014398515341359,18428729675200069633-u64max
USER_DATA 0 inode->i_bytes 0-65023[c]
USER_DATA 0 inode->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 inode->i_size
UNITS 1 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock

fs/ext4/crypto.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_ino 0-1,3-u64max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 202
PARAM_VALUE 3 type 0
PARAM_VALUE 5 rsv_blocks 0
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode->i_fop (-1),272
BUF_SIZE 0 inode->i_mapping->a_ops (-1),152
BUF_SIZE 0 inode->i_op (-1),256
CAPPED_DATA 0 inode 1
CAPPED_DATA 0 inode->i_ino 1
CAPPED_DATA 0 inode->i_sb 1
CAPPED_DATA 1 sb 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
BIT_INFO 0 inode->i_flags 0x0,0xffffdfff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_mode 1-u16max
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_ino
NO_OVERFLOW_SIMPLE 0 inode->i_size
UNITS 1 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/crypto.c ext4_ioctl_get_encryption_pwsalt() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 97
PARAM_VALUE 3 type 0
PARAM_VALUE 4 blocks 1
PARAM_VALUE 5 rsv_blocks 0
UNITS 1 sb unit_byte

fs/ext4/inode.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 2 line 240,1344,2627,2810,2920,3270,3708,4136,4249,4360,6641,6728,6810,6841
PARAM_VALUE 3 type 0-3,5
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
NOSPEC 0 inode->i_size
HARD_MAX 2 line 6841
HARD_MAX 3 type 5
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_blocks 0-18014398515341359,18428729675200069633-u64max
USER_DATA 0 inode->i_bytes 0-65023[c]
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-9223372036854775806
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_ino
UNITS 1 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock

fs/ext4/ialloc.c ext4_init_inode_table() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 1 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 2 line 1546
PARAM_VALUE 3 type 0
PARAM_VALUE 4 blocks 1
PARAM_VALUE 5 rsv_blocks 0
CAPPED_DATA 1 sb->s_fs_info->s_group_desc 1
DATA_SOURCE 1 sb $0
UNITS 1 sb unit_byte
LOCK2 &elr->lr_super->s_umount
TYPE_LOCK (struct super_block)->s_umount

fs/ext4/xattr.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_opflags 8-u16max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 2557
PARAM_VALUE 3 type 10
PARAM_VALUE 5 rsv_blocks 0
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
UNITS 1 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &unused->d_inode->i_rwsem

fs/ext4/inline.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 597,712,1878,2004
PARAM_VALUE 3 type 1-2
PARAM_VALUE 5 rsv_blocks 0
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode->i_fop (-1),272
BUF_SIZE 0 inode->i_mapping->a_ops (-1),152
BUF_SIZE 0 inode->i_op (-1),256
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
HARD_MAX 2 line 2004
HARD_MAX 3 type 2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->__i_nlink 1-u32max
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
UNITS 1 sb unit_byte

fs/ext4/verity.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 2 line 147,228
PARAM_VALUE 3 type 1
PARAM_VALUE 4 blocks 2
PARAM_VALUE 5 rsv_blocks 0
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
HARD_MAX 2 line 228
UNITS 1 sb unit_byte
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/ext4/resize.c ext4_convert_meta_bg() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 1944
PARAM_VALUE 3 type 7
PARAM_VALUE 4 blocks 1,4
PARAM_VALUE 5 rsv_blocks 0
DATA_SOURCE 1 sb $0
UNITS 1 sb unit_byte

fs/ext4/resize.c ext4_flex_group_add() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 1 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 2 line 1569
PARAM_VALUE 3 type 7
PARAM_VALUE 5 rsv_blocks 0
DATA_SOURCE 1 sb $0
UNITS 1 sb unit_byte

fs/ext4/resize.c ext4_group_extend_no_check() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 1780
PARAM_VALUE 3 type 7
PARAM_VALUE 4 blocks 3
PARAM_VALUE 5 rsv_blocks 0
DATA_SOURCE 1 sb $0
UNITS 1 sb unit_byte

fs/ext4/resize.c setup_new_flex_group_blocks() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 1 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 2 line 553
PARAM_VALUE 3 type 7
PARAM_VALUE 4 blocks 64
PARAM_VALUE 5 rsv_blocks 0
DATA_SOURCE 1 sb $0
UNITS 1 sb unit_byte

fs/ext4/resize.c update_backups() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 1154
PARAM_VALUE 3 type 7
PARAM_VALUE 4 blocks 64
PARAM_VALUE 5 rsv_blocks 0
DATA_SOURCE 1 sb $0
UNITS 1 sb unit_byte

fs/ext4/file.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 2 line 369,413,636,736
PARAM_VALUE 3 type 1
PARAM_VALUE 4 blocks 2
PARAM_VALUE 5 rsv_blocks 0
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
HARD_MAX 2 line 736
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_bytes 0-65023[c]
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-9223372036854775806
UNITS 1 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/file.c ext4_dax_huge_fault() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 830
PARAM_VALUE 3 type 2
PARAM_VALUE 5 rsv_blocks 0
BIT_INFO 6 revoke_creds 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 1 sb unit_byte
LOCK2 &mapping->invalidate_lock
TYPE_LOCK (struct address_space)->invalidate_lock

fs/ext4/file.c ext4_sample_last_mounted() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 941
PARAM_VALUE 3 type 0
PARAM_VALUE 4 blocks 1
PARAM_VALUE 5 rsv_blocks 0
DATA_SOURCE 1 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 sb unit_byte

fs/ext4/ioctl.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 2 line 428,653,766,1577
PARAM_VALUE 3 type 1,6,9
PARAM_VALUE 5 rsv_blocks 0
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
HARD_MAX 2 line 1577
HARD_MAX 3 type 9
RX_PATH
TASK_NOT_RUNNING
UNITS 1 sb unit_byte
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/ioctl.c ext4_update_superblocks_fn() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 215
PARAM_VALUE 3 type 0
PARAM_VALUE 4 blocks 3
PARAM_VALUE 5 rsv_blocks 0
BUF_SIZE 1 sb (-1),2880
BUF_SIZE 1 sb (-1),2880
DATA_SOURCE 1 sb $0
STR_LEN 0 inode (-1),8
STR_LEN 1 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 sb->s_blocksize
UNITS 1 sb unit_byte

fs/ext4/migrate.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 445,508,635
PARAM_VALUE 3 type 8
PARAM_VALUE 5 rsv_blocks 0
CAPPED_DATA 0 inode 1
CAPPED_DATA 0 inode->i_sb 1
CAPPED_DATA 1 sb 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
HARD_MAX 2 line 635
RX_PATH
TASK_NOT_RUNNING
UNITS 1 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/ext4/namei.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 2 line 3176,3261,3463
PARAM_VALUE 3 type 4
PARAM_VALUE 5 rsv_blocks 0
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
HARD_MAX 2 line 3463
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_bytes 0-65023[c]
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
UNITS 1 sb unit_byte

fs/ext4/super.c __ext4_journal_start() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 2 line 7041,7061,7092,7205,7345
PARAM_VALUE 3 type 6
PARAM_VALUE 4 blocks 0-1,9,25,73
PARAM_VALUE 5 rsv_blocks 0
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 line $1
DATA_SOURCE 3 type $2
DATA_SOURCE 4 blocks $3
DATA_SOURCE 5 rsv_blocks $4
DATA_SOURCE 6 revoke_creds $5
FUZZY_MAX 4 blocks 9
HARD_MAX 2 line 7345
RX_PATH
TASK_NOT_RUNNING
UNITS 1 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/super.c ext4_write_info() -> __ext4_journal_start_sb()

Type Parameter Key Value
PARAM_VALUE 0 inode 0
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 1 sb->dq_op 4096-ptr_max
PARAM_VALUE 2 line 7134
PARAM_VALUE 3 type 6
PARAM_VALUE 4 blocks 2
PARAM_VALUE 5 rsv_blocks 0
BUF_SIZE 1 sb s32min,(-10),(-1)-s32max
BUF_SIZE 1 sb s32min,(-10),(-1)-s32max
BUF_SIZE 1 sb->dq_op (-1),88
BUF_SIZE 1 sb->s_export_op (-1),80
BUF_SIZE 1 sb->s_fs_info (-1),376,2440,4416,12288
BUF_SIZE 1 sb->s_op (-1),216
BUF_SIZE 1 sb->s_qcop (-1),88
BUF_SIZE 1 sb->s_root (-1)-s32max
BUF_SIZE 1 sb->s_type (-1),232
BUF_SIZE 1 sb->s_xattr (-1),16,32
CAPPED_DATA 1 sb 1
DATA_SOURCE 1 sb $0
STR_LEN 0 inode (-1),8
STR_LEN 1 sb (-1),8
STR_LEN 1 sb->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 1 sb->s_blocksize
NO_OVERFLOW_SIMPLE 1 sb->s_blocksize_bits
HALF_LOCKED2 &sb->s_umount