Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/ialloc.c ext4_read_inode_bitmap() -> ext4_validate_inode_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_mapping 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_cop->empty_dir 0,4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_op->show_path 0,4096-ptr_max
PARAM_VALUE 0 sb->s_root->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sb->s_root->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 2 block_group 0-4294967294
PARAM_VALUE 3 bh 4096-ptr_max
PARAM_VALUE 3 bh->b_folio->mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
BUF_SIZE 0 sb (-1),2816
BUF_SIZE 0 sb (-1),2816
BUF_SIZE 3 bh (-1)-s32max
BUF_SIZE 3 bh (-1)-s32max
CAPPED_DATA 2 block_group 1
CAPPED_DATA 3 bh 1
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 desc r ext4_get_group_desc
DATA_SOURCE 2 block_group $1
DATA_SOURCE 3 bh r sb_getblk
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
UNITS 2 block_group unit_byte