ext4_mb_check_limits identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/ext4/mballoc.c, line 2286 (as a function)

Referenced in 1 files:

fs/ext4/mballoc.c
- line 2396
- line 2632

Smatch caller information:

fs/ext4/mballoc.c ext4_mb_complex_scan_group() -> ext4_mb_check_limits()

Type	Parameter	Key	Value
PARAM_VALUE	0	ac	4096-ptr_max
PARAM_VALUE	0	ac->ac_criteria	1-4
PARAM_VALUE	0	ac->ac_e4b->bd_bitmap_folio	4096-ptr_max
PARAM_VALUE	0	ac->ac_e4b->bd_blkbits	0-255
PARAM_VALUE	0	ac->ac_e4b->bd_buddy_folio	4096-ptr_max
PARAM_VALUE	0	ac->ac_e4b->bd_group	0-4294967294
PARAM_VALUE	0	ac->ac_e4b->bd_info	4096-ptr_max
PARAM_VALUE	0	ac->ac_e4b->bd_sb	4096-ptr_max
PARAM_VALUE	0	ac->ac_inode->i_sb	4096-ptr_max
PARAM_VALUE	0	ac->ac_lg->lg_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ac->ac_lg->lg_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ac->ac_lg->lg_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ac->ac_lg->lg_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ac->ac_pa->pa_count.counter	1
PARAM_VALUE	0	ac->ac_sb	4096-ptr_max
PARAM_VALUE	0	ac->ac_sb->s_cop->inode_info_offs	1632,1640,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE	0	ac->ac_sb->s_export_op->encode_fh	0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE	0	ac->ac_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE	0	ac->ac_sb->s_export_op->fh_to_parent	0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE	0	ac->ac_sb->s_export_op->get_parent	0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE	0	ac->ac_sb->s_fs_info	4096-ptr_max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_add_error_count	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_addr_per_block_bits	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_awu_max	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_awu_min	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_bdev_wb_err	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_blockfile_groups	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_cluster_bits	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_cluster_ratio	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_csum_seed	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_def_hash_version	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_def_mount_opt	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_def_mount_opt2	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_desc_per_block_bits	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_extent_max_zeroout_kb	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_fc_bytes	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_fc_debug_max_replay	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_fc_ineligible_tid	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_first_error_code	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_first_error_ino	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_first_error_line	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_first_ino	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_flex_groups_allocated	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_freeclusters_counter.lock.owner	(-1)
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_freeclusters_counter.lock.owner_cpu	4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_freeinodes_counter.lock.owner	(-1)
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_freeinodes_counter.lock.owner_cpu	4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_group_info_size	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_groups_count	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_hash_unsigned	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_inode_goal	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_inode_readahead_blks	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_inode_size	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_jquota_fmt	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_last_error_code	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_last_error_ino	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_last_error_line	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_li_wait_mult	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_log_groups_per_flex	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_max_batch_time	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_max_dir_size_kb	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_max_folio_order	0-u16max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_best_avail_max_trim_order	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_group_prealloc	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_max_linear_groups	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_max_to_scan	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_min_to_scan	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_nr_global_goals	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_order2_reqs	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_prefetch	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_prefetch_limit	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_stats	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_stream_request	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_min_batch_time	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_min_folio_order	0-u16max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mount_opt	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mount_opt2	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mount_state	0-u16max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_pad	0-u16max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_sb_update_kb	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_sb_update_sec	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_want_extra_isize	0-4294967295
PARAM_VALUE	0	ac->ac_status	1-3
PARAM_VALUE	0	*ac->ac_sb->s_fs_info->s_freeclusters_counter.lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ac->ac_sb->s_fs_info->s_freeinodes_counter.lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	1	e4b	4096-ptr_max
PARAM_VALUE	1	e4b->bd_bitmap_folio	4096-ptr_max
PARAM_VALUE	1	e4b->bd_blkbits	0-255
PARAM_VALUE	1	e4b->bd_buddy_folio	4096-ptr_max
PARAM_VALUE	1	e4b->bd_group	0-4294967294
PARAM_VALUE	1	e4b->bd_info	4096-ptr_max
PARAM_VALUE	1	e4b->bd_sb	4096-ptr_max
PARAM_VALUE	2	finish_group	1
BUF_SIZE	0	ac	(-1),1-s32max
BUF_SIZE	0	ac	(-1),1-s32max
BUF_SIZE	0	ac->ac_e4b	(-1),56
BUF_SIZE	1	e4b	(-1),56
BUF_SIZE	1	e4b	(-1),56
DATA_SOURCE	0	ac	$0
DATA_SOURCE	1	e4b	$1
NOSPEC	0	ac->ac_b_ex.fe_group
NOSPEC	0	ac->ac_b_ex.fe_logical
NOSPEC	0	ac->ac_b_ex.fe_start
NOSPEC	0	ac->ac_e4b->bd_group
NOSPEC	0	ac->ac_f_ex.fe_group
NOSPEC	0	ac->ac_g_ex.fe_group
NOSPEC	0	ac->ac_g_ex.fe_len
NOSPEC	0	ac->ac_g_ex.fe_logical
NOSPEC	0	ac->ac_g_ex.fe_start
NOSPEC	0	ac->ac_o_ex.fe_len
NOSPEC	0	ac->ac_o_ex.fe_logical
NOSPEC	0	ac->ac_orig_goal_len
NOSPEC	0	ac->ac_prefetch_grp
NOSPEC	1	e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	ac->ac_b_ex.fe_group	0-u32max
USER_DATA	0	ac->ac_b_ex.fe_len	s32min-s32max[c]
USER_DATA	0	ac->ac_b_ex.fe_logical	0-u32max
USER_DATA	0	ac->ac_b_ex.fe_start	0-s32max[c]
USER_DATA	0	ac->ac_buddy	0-u16max
USER_DATA	0	ac->ac_e4b->bd_group	0-4294967294[c]
USER_DATA	0	ac->ac_e4b->bd_sb->s_flags	0-u64max[c]
USER_DATA	0	ac->ac_f_ex.fe_group	0-4294967294[c]
USER_DATA	0	ac->ac_g_ex.fe_group	0-4294967294[c]
USER_DATA	0	ac->ac_g_ex.fe_len	1-s32max[c]
USER_DATA	0	ac->ac_g_ex.fe_logical	0-u32max[c]
USER_DATA	0	ac->ac_g_ex.fe_start	0-s32max[c]
USER_DATA	0	ac->ac_inode->i_bytes	0-65023[c]
USER_DATA	0	ac->ac_o_ex.fe_group	0-u32max
USER_DATA	0	ac->ac_o_ex.fe_len	1-s32max[c]
USER_DATA	0	ac->ac_o_ex.fe_logical	0-4294967294[c]
USER_DATA	0	ac->ac_o_ex.fe_start	0-s32max[c]
USER_DATA	0	ac->ac_orig_goal_len	1-s32max[c]
USER_DATA	0	ac->ac_prefetch_grp	0-2147483648[c]
USER_DATA	0	ac->ac_tail	0-u16max[c]
USER_DATA	1	e4b->bd_group	0-4294967294[c]
USER_DATA	1	e4b->bd_sb->s_flags	0-u64max[c]
USER_DATA	1	e4b->bd_sb->s_fs_info->s_first_error_block	s64min-s64max[c]
USER_DATA	1	e4b->bd_sb->s_fs_info->s_first_error_ino	0-4294967295
NO_OVERFLOW_SIMPLE	0	ac->ac_e4b->bd_sb->s_blocksize
NO_OVERFLOW_SIMPLE	0	ac->ac_inode->i_blkbits
NO_OVERFLOW_SIMPLE	0	ac->ac_inode->i_ino
NO_OVERFLOW_SIMPLE	0	ac->ac_inode->i_linklen
NO_OVERFLOW_SIMPLE	0	ac->ac_inode->i_size
NO_OVERFLOW_SIMPLE	1	e4b->bd_sb->s_blocksize
HALF_LOCKED2		sb

fs/ext4/mballoc.c ext4_mb_measure_extent() -> ext4_mb_check_limits()

Type	Parameter	Key	Value
PARAM_VALUE	0	ac	4096-ptr_max
PARAM_VALUE	0	ac->ac_b_ex.fe_len	s32min-(-1),1-s32max
PARAM_VALUE	0	ac->ac_cX_found	4096-ptr_max
PARAM_VALUE	0	ac->ac_criteria	1-2,4
PARAM_VALUE	0	ac->ac_e4b	6774481802070482944
PARAM_VALUE	0	ac->ac_e4b->bd_bitmap_folio	4096-ptr_max
PARAM_VALUE	0	ac->ac_e4b->bd_blkbits	0-255
PARAM_VALUE	0	ac->ac_e4b->bd_buddy_folio	4096-ptr_max
PARAM_VALUE	0	ac->ac_e4b->bd_group	0-4294967294
PARAM_VALUE	0	ac->ac_e4b->bd_info	4096-ptr_max
PARAM_VALUE	0	ac->ac_e4b->bd_sb	4096-ptr_max
PARAM_VALUE	0	ac->ac_flags	0,8-u32max
PARAM_VALUE	0	ac->ac_inode	4096-ptr_max
PARAM_VALUE	0	ac->ac_inode->i_sb	4096-ptr_max
PARAM_VALUE	0	ac->ac_lg->lg_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ac->ac_lg->lg_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ac->ac_lg->lg_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ac->ac_op	1
PARAM_VALUE	0	ac->ac_sb	4096-ptr_max
PARAM_VALUE	0	ac->ac_sb->s_cop->inode_info_offs	1632,1640,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE	0	ac->ac_sb->s_export_op->encode_fh	0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE	0	ac->ac_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE	0	ac->ac_sb->s_export_op->fh_to_parent	0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE	0	ac->ac_sb->s_export_op->get_parent	0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max
PARAM_VALUE	0	ac->ac_sb->s_fs_info	4096-ptr_max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_add_error_count	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_addr_per_block_bits	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_awu_max	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_awu_min	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_bdev_wb_err	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_blockfile_groups	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_cluster_bits	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_cluster_ratio	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_csum_seed	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_def_hash_version	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_def_mount_opt	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_def_mount_opt2	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_desc_per_block_bits	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_extent_max_zeroout_kb	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_fc_bytes	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_fc_debug_max_replay	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_fc_ineligible_tid	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_first_error_code	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_first_error_ino	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_first_error_line	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_first_ino	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_flex_groups_allocated	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_freeclusters_counter.lock.owner	(-1)
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_freeclusters_counter.lock.owner_cpu	4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_freeclusters_counter.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_freeinodes_counter.lock.owner	(-1)
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_freeinodes_counter.lock.owner_cpu	4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_freeinodes_counter.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_group_info_size	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_groups_count	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_hash_unsigned	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_inode_goal	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_inode_readahead_blks	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_inode_size	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_jquota_fmt	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_last_error_code	s32min-s32max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_last_error_ino	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_last_error_line	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_li_wait_mult	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_log_groups_per_flex	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_max_batch_time	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_max_dir_size_kb	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_max_folio_order	0-u16max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_best_avail_max_trim_order	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_group_prealloc	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_max_linear_groups	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_max_to_scan	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_min_to_scan	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_nr_global_goals	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_order2_reqs	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_prefetch	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_prefetch_limit	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_stats	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mb_stream_request	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_min_batch_time	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_min_folio_order	0-u16max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mount_opt	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mount_opt2	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_mount_state	0-u16max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_pad	0-u16max
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_sb_update_kb	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_sb_update_sec	0-4294967295
PARAM_VALUE	0	ac->ac_sb->s_fs_info->s_want_extra_isize	0-4294967295
PARAM_VALUE	0	ac->ac_status	1
PARAM_VALUE	0	*ac->ac_sb->s_fs_info->s_es->s_first_error_func	0-255
PARAM_VALUE	0	*ac->ac_sb->s_fs_info->s_es->s_last_error_func	0-255
PARAM_VALUE	1	e4b	6774481802070482944
PARAM_VALUE	1	e4b->bd_bitmap	1-u64max
PARAM_VALUE	1	e4b->bd_bitmap_folio	4096-ptr_max
PARAM_VALUE	1	e4b->bd_blkbits	0-255
PARAM_VALUE	1	e4b->bd_buddy_folio	4096-ptr_max
PARAM_VALUE	1	e4b->bd_group	0-4294967294
PARAM_VALUE	1	e4b->bd_info	4096-ptr_max
PARAM_VALUE	1	e4b->bd_sb	4096-ptr_max
PARAM_VALUE	2	finish_group	0
BUF_SIZE	0	ac	(-1),1-s32max
BUF_SIZE	0	ac	(-1),1-s32max
BUF_SIZE	0	ac->ac_e4b	56
BUF_SIZE	1	e4b	56
CAPPED_DATA	0	ac->ac_2order	1
CAPPED_DATA	0	ac->ac_e4b->bd_info	1
CAPPED_DATA	0	ac->ac_g_ex.fe_len	1
CAPPED_DATA	0	ac->ac_sb->s_fs_info->s_mb_max_to_scan	1
CAPPED_DATA	1	e4b->bd_info	1
DATA_SOURCE	0	ac	$0
DATA_SOURCE	1	e4b	$2
BIT_INFO	0	ac->ac_flags	0x0,0xfffffef7
NOSPEC	0	ac->ac_b_ex.fe_group
NOSPEC	0	ac->ac_b_ex.fe_len
NOSPEC	0	ac->ac_b_ex.fe_logical
NOSPEC	0	ac->ac_e4b->bd_group
NOSPEC	0	ac->ac_f_ex.fe_group
NOSPEC	0	ac->ac_f_ex.fe_logical
NOSPEC	0	ac->ac_g_ex.fe_group
NOSPEC	0	ac->ac_g_ex.fe_len
NOSPEC	0	ac->ac_g_ex.fe_logical
NOSPEC	0	ac->ac_g_ex.fe_start
NOSPEC	0	ac->ac_o_ex.fe_len
NOSPEC	0	ac->ac_o_ex.fe_logical
NOSPEC	0	ac->ac_orig_goal_len
NOSPEC	0	ac->ac_prefetch_grp
NOSPEC	1	e4b->bd_group
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	ac->ac_b_ex.fe_group	0-u32max
USER_DATA	0	ac->ac_b_ex.fe_len	s32min-(-1),1-s32max[c]
USER_DATA	0	ac->ac_b_ex.fe_logical	0-u32max[c]
USER_DATA	0	ac->ac_b_ex.fe_start	0-s32max[c]
USER_DATA	0	ac->ac_buddy	0-u16max
USER_DATA	0	ac->ac_e4b->bd_group	0-4294967294[c]
USER_DATA	0	ac->ac_e4b->bd_sb->s_flags	0-u64max[c]
USER_DATA	0	ac->ac_f_ex.fe_group	0-4294967294[c]
USER_DATA	0	ac->ac_f_ex.fe_logical	0-u32max[c]
USER_DATA	0	ac->ac_g_ex.fe_group	0-4294967294[c]
USER_DATA	0	ac->ac_g_ex.fe_len	1-s32max[c]
USER_DATA	0	ac->ac_g_ex.fe_logical	0-u32max[c]
USER_DATA	0	ac->ac_g_ex.fe_start	0-s32max[c]
USER_DATA	0	ac->ac_inode->i_bytes	0-65023[c]
USER_DATA	0	ac->ac_o_ex.fe_group	0-u32max
USER_DATA	0	ac->ac_o_ex.fe_len	1-s32max[c]
USER_DATA	0	ac->ac_o_ex.fe_logical	0-4294967294[c]
USER_DATA	0	ac->ac_o_ex.fe_start	0-s32max[c]
USER_DATA	0	ac->ac_orig_goal_len	1-s32max[c]
USER_DATA	0	ac->ac_prefetch_grp	0-2147483648[c]
USER_DATA	0	ac->ac_tail	0-u16max[c]
USER_DATA	1	e4b->bd_group	0-4294967294[c]
USER_DATA	1	e4b->bd_sb->s_flags	0-u64max[c]
NO_OVERFLOW_SIMPLE	0	ac->ac_e4b->bd_sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE	0	ac->ac_inode->i_blkbits
NO_OVERFLOW_SIMPLE	0	ac->ac_inode->i_bytes
NO_OVERFLOW_SIMPLE	0	ac->ac_inode->i_ino
NO_OVERFLOW_SIMPLE	0	ac->ac_inode->i_size
NO_OVERFLOW_SIMPLE	1	e4b->bd_sb->s_blocksize_bits
HALF_LOCKED2		sb