Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/ext4/ialloc.c find_group_other() -> ext4_free_group_clusters()

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
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/ext4/ialloc.c find_group_other() -> ext4_free_group_clusters()

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
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/ext4/ialloc.c get_orlov_stats() -> ext4_free_group_clusters()

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
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/ext4/mballoc.c ext4_mb_add_groupinfo() -> ext4_free_group_clusters()

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 1-u64max
PARAM_VALUE 1 bg->bg_free_blocks_count_hi 0
BUF_SIZE 0 sb (-1),2816
BUF_SIZE 0 sb (-1),2816
BUF_SIZE 0 sb->s_bdev (-1),2136
BUF_SIZE 0 sb->s_bdev->bd_queue (-1),2456
BUF_SIZE 0 sb->s_op (-1),216
BUF_SIZE 0 sb->s_root (-1)-s32max
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bg $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
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

fs/ext4/mballoc.c ext4_mb_mark_context() -> ext4_free_group_clusters()

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_free_blocks_count_hi 0
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 sb $1
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
LOCK2 0 sb

fs/ext4/mballoc.c ext4_mb_mark_context() -> ext4_free_group_clusters()

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_free_blocks_count_hi 0
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
BUF_SIZE 0 sb s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 sb $1
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
LOCK2 0 sb

fs/ext4/mballoc.c ext4_mb_prefetch() -> ext4_free_group_clusters()

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
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_fs_info->s_first_error_block s64min-s64max[c]
USER_DATA 0 sb->s_fs_info->s_first_error_ino 0-4294967295
UNITS 0 sb unit_byte
HALF_LOCKED2 &elr->lr_super->s_umount

fs/ext4/mballoc.c ext4_mb_prefetch_fini() -> ext4_free_group_clusters()

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
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_fs_info->s_first_error_block s64min-s64max[c]
USER_DATA 0 sb->s_fs_info->s_first_error_ino 0-4294967295
UNITS 0 sb unit_byte
HALF_LOCKED2 &elr->lr_super->s_umount

fs/ext4/balloc.c ext4_count_free_clusters() -> ext4_free_group_clusters()

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),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_bdev (-1),2136
BUF_SIZE 0 sb->s_bdev->bd_queue (-1),2456
BUF_SIZE 0 sb->s_op (-1),224
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
UNITS 0 sb unit_byte

fs/ext4/super.c ext4_fill_flex_info() -> ext4_free_group_clusters()

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