Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/extent_cache.c __update_extent_cache() -> __update_extent_tree_range()

Type Parameter Key Value
PARAM_VALUE 0 inode->i_data.host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 inode->i_data.host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE 0 inode->i_data.host->i_sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max
PARAM_VALUE 0 inode->i_data.host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_export_op->fh_to_parent 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 inode->i_sb->s_cop->empty_dir 0,86,4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_cop->get_context 0,706,4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_cop->inode_info_offs 1632,1808,2632,2648,2704,2712
PARAM_VALUE 0 inode->i_sb->s_cop->set_context 0,67,4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 inode->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 tei 4025687368905613312
PARAM_VALUE 1 tei->blk 0-4294967294
PARAM_VALUE 1 tei->c_len 0
PARAM_VALUE 1 tei->len 1
PARAM_VALUE 2 type 0-1
DATA_SOURCE 2 type $1
HARD_MAX 2 type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_ino
NO_OVERFLOW_SIMPLE 0 inode->i_size
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem

fs/f2fs/extent_cache.c f2fs_update_age_extent_cache_range() -> __update_extent_tree_range()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_data.host->i_sb->s_export_op->fh_to_parent 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE 0 inode->i_data.host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 0 inode->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 inode->i_sb->s_fs_info->adjust_lock_priority 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->aligned_blksize 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->allocate_section_hint 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->allocate_section_policy 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->bggc_io_aware 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->blkzone_alloc_policy 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->blocks_per_blkz 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->blocks_per_seg 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->blocksize 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->carve_out 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->compr_new_inode 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->compress_percent 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->compress_watermark 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->cur_cp_pack s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->cur_victim_sec 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->current_reserved_blocks 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->data_io_flag 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->dir_level s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->dirty_device 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->discard_blks 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->donate_files 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->entries_in_sum 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->error_dirty 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->first_seq_zone_segno 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->fsync_node_num 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->fsync_seg_id 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->gc_mode 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->gc_pin_file_threshold 0-u16max
PARAM_VALUE 0 inode->i_sb->s_fs_info->gc_remaining_trials 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->gc_segment_mode 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->hot_data_age_threshold 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->io_skip_bggc 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->iostat_enable 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->iostat_period_ms 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->last_age_weight 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->last_valid_block_count 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->lock_duration_priority 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->log_blocks_per_seg 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->log_blocksize 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->log_sectors_per_block 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->max_atc_write_bio_size 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->max_fragment_chunk s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->max_fragment_hole s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->max_io_bytes 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->max_open_zones 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->max_orphans 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->max_read_extent_count 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->max_victim_search 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->meta_ino_num 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->migration_granularity 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->migration_window_granularity 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nat_journal_entries 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->node_ino_num 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->node_io_flag 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->nquota_files 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->other_skip_bggc 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->page_array_slab_size 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->readdir_ra 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->reserved_blocks 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->reserved_pin_section 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->root_ino_num 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->s_chksum_seed 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->s_ndevs s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->secs_per_zone 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->segs_per_sec 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->seq_file_ra_mul 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->shrinker_run_no 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->sit_journal_entries 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->stop_reason_dirty 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->sum_blocksize 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->sum_entry_size 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->sum_journal_size 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->sums_per_block 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->total_node_count 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->total_sections 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->total_valid_block_count 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->total_valid_node_count 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->unusable_block_count 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->unusable_blocks_per_sec 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->user_block_count 0-4294967295
PARAM_VALUE 0 inode->i_sb->s_fs_info->valid_super_block s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->warm_data_age_threshold 0-4294967295
PARAM_VALUE 1 tei 820386651108421632
PARAM_VALUE 1 tei->age 0
PARAM_VALUE 1 tei->blk 0
PARAM_VALUE 1 tei->c_len 0
PARAM_VALUE 1 tei->last_blocks u64max
PARAM_VALUE 2 type 1
NOSPEC 1 tei->fofs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tei->fofs 0-s32max[c]
USER_DATA 1 tei->len 1-s32max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_size
LOCK2 &inode->i_rwsem
LOCK2 &mapping->invalidate_lock
LOCK2 &sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct address_space)->invalidate_lock
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/extent_cache.c f2fs_update_read_extent_cache_range() -> __update_extent_tree_range()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max
PARAM_VALUE 0 inode->i_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 tei 3834367558935023616
PARAM_VALUE 1 tei->age 0
PARAM_VALUE 1 tei->blk 0
PARAM_VALUE 1 tei->c_len 0
PARAM_VALUE 1 tei->last_blocks 0
PARAM_VALUE 2 type 0
NOSPEC 1 tei->fofs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tei->fofs 0-s32max[c]
USER_DATA 1 tei->len 1-s32max[c]
LOCK2 &inode->i_rwsem
LOCK2 &mapping->invalidate_lock
LOCK2 &sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct address_space)->invalidate_lock
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem
TYPE_LOCK (struct inode)->i_rwsem