Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

fs/ext4/block_validity.c ext4_setup_system_zone() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg r ext4_get_group_desc

fs/ext4/inode.c __ext4_get_inode_loc() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
BUF_SIZE 0 sb (-1),80,2752,2816
BUF_SIZE 0 sb (-1),80,2752,2816
CAPPED_DATA 0 sb->s_fs_info->s_group_desc 1
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg r ext4_get_group_desc
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte

fs/ext4/inode.c __ext4_get_inode_loc() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
BUF_SIZE 0 sb (-1),80,2752,2816
BUF_SIZE 0 sb (-1),80,2752,2816
CAPPED_DATA 0 sb->s_fs_info->s_group_desc 1
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg r ext4_get_group_desc
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte

fs/ext4/inode.c ext4_get_inode_loc_noio() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
CAPPED_DATA 0 sb->s_fs_info->s_group_desc 1
DATA_SOURCE 1 bg r ext4_get_group_desc
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
LOCK2 &journal->j_barrier
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct journal_s)->j_barrier

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

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
CAPPED_DATA 0 sb->s_fs_info->s_group_desc 1
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg r ext4_get_group_desc
BIT_INFO 1 bg->bg_flags 0x0,0xfffb
UNITS 0 sb unit_byte
LOCK2 &elr->lr_super->s_umount
LOCK2 &grp->alloc_sem
TYPE_LOCK (struct ext4_group_info)->alloc_sem
TYPE_LOCK (struct super_block)->s_umount

fs/ext4/ialloc.c recently_deleted() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg r ext4_get_group_desc

fs/ext4/fsmap.c ext4_getfsmap_find_fixed_metadata() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg r ext4_get_group_desc

fs/ext4/balloc.c ext4_init_block_bitmap() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg $3
BIT_INFO 1 bg->bg_flags 0x2,0xffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
LOCK2 0 sb

fs/ext4/balloc.c ext4_init_block_bitmap() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg $3
BIT_INFO 1 bg->bg_flags 0x2,0xffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
LOCK2 0 sb

fs/ext4/balloc.c ext4_init_block_bitmap() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg $3
BIT_INFO 1 bg->bg_flags 0x2,0xffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
LOCK2 0 sb

fs/ext4/balloc.c ext4_num_overhead_clusters() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
PARAM_VALUE 1 bg->bg_inode_table_hi 0
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
BUF_SIZE 0 sb->dq_op (-1),88
BUF_SIZE 0 sb->s_bdev (-1),2136
BUF_SIZE 0 sb->s_bdev->bd_queue (-1),2456
BUF_SIZE 0 sb->s_cop (-1),72
BUF_SIZE 0 sb->s_export_op (-1),80
BUF_SIZE 0 sb->s_op (-1),216
BUF_SIZE 0 sb->s_qcop (-1),88
BUF_SIZE 0 sb->s_vop (-1),48
BUF_SIZE 0 sb->s_xattr (-1),40
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 sb->s_bdev_file->f_mode 0,64-u32max
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_size
UNITS 0 sb unit_byte
UNITS 1 bg unit_byte
HALF_LOCKED2 0 sb

fs/ext4/balloc.c ext4_valid_block_bitmap() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
LOCK2 0 sb

fs/ext4/super.c count_overhead() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg r ext4_get_group_desc
UNITS 0 sb unit_byte

fs/ext4/super.c ext4_check_descriptors() -> ext4_inode_table()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 bg 4096-ptr_max
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg r ext4_get_group_desc