Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 bg 0,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_block_bitmap()

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_block_bitmap()

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_block_bitmap()

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_block_bitmap_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_num_overhead_clusters() -> ext4_block_bitmap()

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_block_bitmap_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_read_block_bitmap_nowait() -> ext4_block_bitmap()

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
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
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/balloc.c ext4_valid_block_bitmap() -> ext4_block_bitmap()

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_block_bitmap()

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 0,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_block_bitmap()

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