ext4_setup_next_flex_gd identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/ext4/resize.c, line 1625 (as a function)

Referenced in 1 files:

fs/ext4/resize.c, line 2154

Smatch caller information:

fs/ext4/resize.c ext4_resize_fs() -> ext4_setup_next_flex_gd()

Type	Parameter	Key	Value
PARAM_VALUE	0	sb	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,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE	0	sb->s_cop->inode_info_offs	1632,1720,2632,2648
PARAM_VALUE	0	sb->s_fs_info->s_log_groups_per_flex	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mount_state	0-u16max
PARAM_VALUE	0	sb->s_op->show_path	0,1168827736746610688,4549358393651167232,6955726544838414336,7969778861266182144
PARAM_VALUE	1	flex_gd	4096-ptr_max
PARAM_VALUE	1	flex_gd->bg_flags	16,4096-ptr_max
PARAM_VALUE	1	flex_gd->groups	16,4096-ptr_max
PARAM_VALUE	1	flex_gd->resize_bg	0-16384
PARAM_VALUE	2	n_blocks_count	1-u64max
BUF_SIZE	1	flex_gd	24
CAPPED_DATA	1	flex_gd->resize_bg	1
DATA_SOURCE	0	sb	$0
DATA_SOURCE	1	flex_gd	r alloc_flex_gd
DATA_SOURCE	2	n_blocks_count	$1 [m]
NOSPEC	2	n_blocks_count
USER_DATA	2	n_blocks_count	1-u64max
NO_OVERFLOW_SIMPLE	1	flex_gd->resize_bg
UNITS	0	sb	unit_byte
UNITS	2	n_blocks_count	unit_byte

fs/ext4/resize.c ext4_resize_fs() -> ext4_setup_next_flex_gd()

Type	Parameter	Key	Value
PARAM_VALUE	0	sb	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,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE	0	sb->s_cop->inode_info_offs	1632,1720,2632,2648
PARAM_VALUE	0	sb->s_fs_info->s_add_error_count	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_addr_per_block_bits	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_awu_max	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_awu_min	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_bdev_wb_err	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_bdev_wb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sb->s_fs_info->s_blockfile_groups	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_cluster_bits	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_cluster_ratio	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_csum_seed	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_def_hash_version	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_def_mount_opt	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_def_mount_opt2	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_desc_per_block_bits	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_error_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sb->s_fs_info->s_es	s64min-(-4096),4096-s64max
PARAM_VALUE	0	sb->s_fs_info->s_es->s_state	0,2-65534
PARAM_VALUE	0	sb->s_fs_info->s_extent_max_zeroout_kb	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_fc_bytes	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_fc_debug_max_replay	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_fc_ineligible_tid	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_first_error_code	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_first_error_ino	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_first_error_line	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_first_ino	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_flex_groups_allocated	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_freeclusters_counter->lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	sb->s_fs_info->s_freeclusters_counter.lock.dep_map->name	0-255
PARAM_VALUE	0	sb->s_fs_info->s_freeclusters_counter.lock.owner	(-1)
PARAM_VALUE	0	sb->s_fs_info->s_freeclusters_counter.lock.owner_cpu	4294967295
PARAM_VALUE	0	sb->s_fs_info->s_freeinodes_counter->lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	sb->s_fs_info->s_freeinodes_counter.lock.dep_map->name	0-255
PARAM_VALUE	0	sb->s_fs_info->s_freeinodes_counter.lock.owner	(-1)
PARAM_VALUE	0	sb->s_fs_info->s_freeinodes_counter.lock.owner_cpu	4294967295
PARAM_VALUE	0	sb->s_fs_info->s_group_info_size	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_groups_count	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_hash_unsigned	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_inode_goal	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_inode_readahead_blks	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_inode_size	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_jquota_fmt	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_last_error_code	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_last_error_ino	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_last_error_line	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_li_wait_mult	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_log_groups_per_flex	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_max_batch_time	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_max_dir_size_kb	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_max_folio_order	0-u16max
PARAM_VALUE	0	sb->s_fs_info->s_mb_best_avail_max_trim_order	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mb_group_prealloc	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mb_max_linear_groups	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mb_max_to_scan	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mb_min_to_scan	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mb_nr_global_goals	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mb_order2_reqs	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mb_prefetch	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mb_prefetch_limit	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mb_stats	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mb_stream_request	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_min_batch_time	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_min_folio_order	0-u16max
PARAM_VALUE	0	sb->s_fs_info->s_mount_opt	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mount_opt2	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_mount_state	0-u16max
PARAM_VALUE	0	sb->s_fs_info->s_pad	0-u16max
PARAM_VALUE	0	sb->s_fs_info->s_sb_update_kb	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_sb_update_sec	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_folio->mapping->host->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_bh->b_folio->mapping->host->__i_nlink	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_bh->b_folio->mapping->host->i_atime_nsec	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_bh->b_folio->mapping->host->i_bytes	0-u16max
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_bh->b_folio->mapping->host->i_count.counter	s32min-s32max
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_bh->b_folio->mapping->host->i_ctime_nsec	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_bh->b_folio->mapping->host->i_generation	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_bh->b_folio->mapping->host->i_mode	0-u16max
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_bh->b_folio->mapping->host->i_mtime_nsec	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_bh->b_folio->mapping->host->i_nlink	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_bh->b_folio->mapping->host->i_state.__state	0-4294967295
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_modified	1
PARAM_VALUE	0	sb->s_fs_info->s_sbh->b_private->b_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sb->s_fs_info->s_want_extra_isize	0-4294967295
PARAM_VALUE	0	sb->s_op->show_path	0,1168827736746610688,4549358393651167232,6955726544838414336,7969778861266182144
PARAM_VALUE	0	*sb->s_fs_info->s_first_error_func	0-255
PARAM_VALUE	0	*sb->s_fs_info->s_freeclusters_counter.lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*sb->s_fs_info->s_freeinodes_counter.lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*sb->s_fs_info->s_last_error_func	0-255
PARAM_VALUE	0	*sb->s_fs_info->s_sbh->b_private	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	1	flex_gd	4096-ptr_max
PARAM_VALUE	1	flex_gd->bg_flags	4096-ptr_max
PARAM_VALUE	1	flex_gd->count	1-s32max
PARAM_VALUE	1	flex_gd->groups	4096-ptr_max
PARAM_VALUE	1	flex_gd->resize_bg	0-16384
PARAM_VALUE	2	n_blocks_count	1-u64max
BUF_SIZE	1	flex_gd	24
CAPPED_DATA	1	flex_gd->count	1
CAPPED_DATA	1	flex_gd->groups->block_bitmap	1
CAPPED_DATA	1	flex_gd->groups->group	1
CAPPED_DATA	1	flex_gd->groups->inode_bitmap	1
CAPPED_DATA	1	flex_gd->groups->inode_table	1
CAPPED_DATA	1	flex_gd->groups->reserved_blocks	1
CAPPED_DATA	1	flex_gd->resize_bg	1
DATA_SOURCE	0	sb	$0
DATA_SOURCE	1	flex_gd	r alloc_flex_gd
DATA_SOURCE	2	n_blocks_count	$1 [m]
NOSPEC	2	n_blocks_count
USER_DATA	2	n_blocks_count	1-u64max
NO_OVERFLOW_SIMPLE	1	flex_gd->resize_bg
UNITS	0	sb	unit_byte
UNITS	2	n_blocks_count	unit_byte