f2fs_need_inode_block_update identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

fs/f2fs/f2fs.h, line 3979 (as a prototype)

Defined in 1 files as a function:

fs/f2fs/node.c, line 430 (as a function)

Referenced in 2 files:

Smatch caller information:

fs/f2fs/inode.c do_read_inode() -> f2fs_need_inode_block_update()

Type	Parameter	Key	Value
PARAM_VALUE	0	sbi	4096-ptr_max
PARAM_VALUE	0	sbi->raw_super	4096-ptr_max
PARAM_VALUE	1	ino	0-4294967294
BUF_SIZE	0	sbi	1-s32max
BUF_SIZE	0	sbi	1-s32max
CAPPED_DATA	0	sbi->root_ino_num	1
CAPPED_DATA	1	ino	1
PARAM_COMPARE	1	ino	>= $0->root_ino_num
NOSPEC	1	ino
NOSPEC	1	ino
RX_PATH
TASK_NOT_RUNNING
USER_DATA	1	ino	1-4294967294[c]
UNITS	0	sbi	unit_byte
HALF_LOCKED2		&sbi->gc_lock.internal_rwsem

fs/f2fs/file.c f2fs_do_sync_file() -> f2fs_need_inode_block_update()

Type	Parameter	Key	Value
PARAM_VALUE	0	sbi	4096-ptr_max
PARAM_VALUE	0	sbi->alloc_valid_block_count.lock.owner_cpu	0-4294967295
PARAM_VALUE	0	sbi->meta_inode->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648
PARAM_VALUE	0	sbi->nm_info->available_nids	0-4294967295
PARAM_VALUE	0	sbi->nm_info->dirty_nats_ratio	0-4294967295
PARAM_VALUE	0	sbi->nm_info->max_nid	0-4294967295
PARAM_VALUE	0	sbi->nm_info->max_rf_node_blocks	0-4294967295
PARAM_VALUE	0	sbi->nm_info->nat_bits_blocks	0-4294967295
PARAM_VALUE	0	sbi->nm_info->nat_blkaddr	0-4294967295
PARAM_VALUE	0	sbi->nm_info->nat_blocks	0-4294967295
PARAM_VALUE	0	sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->nm_info->next_scan_nid	0-4294967295
PARAM_VALUE	0	sbi->nm_info->ra_nid_pages	0-4294967295
PARAM_VALUE	0	sbi->nm_info->ram_thresh	0-4294967295
PARAM_VALUE	0	sbi->node_inode	4096-ptr_max
PARAM_VALUE	0	sbi->node_inode->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648
PARAM_VALUE	0	sbi->node_write.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->node_write.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->raw_super->checksum_offset	0-4294967295
PARAM_VALUE	0	sbi->raw_super->cp_blkaddr	0-4294967295
PARAM_VALUE	0	sbi->raw_super->cp_payload	0-4294967295
PARAM_VALUE	0	sbi->raw_super->feature	0-4294967295
PARAM_VALUE	0	sbi->raw_super->log_blocks_per_seg	0-4294967295
PARAM_VALUE	0	sbi->raw_super->log_blocksize	0-4294967295
PARAM_VALUE	0	sbi->raw_super->log_sectors_per_block	0-4294967295
PARAM_VALUE	0	sbi->raw_super->log_sectorsize	0-4294967295
PARAM_VALUE	0	sbi->raw_super->magic	0-4294967295
PARAM_VALUE	0	sbi->raw_super->main_blkaddr	0-4294967295
PARAM_VALUE	0	sbi->raw_super->meta_ino	0-4294967295
PARAM_VALUE	0	sbi->raw_super->nat_blkaddr	0-4294967295
PARAM_VALUE	0	sbi->raw_super->node_ino	0-4294967295
PARAM_VALUE	0	sbi->raw_super->root_ino	0-4294967295
PARAM_VALUE	0	sbi->raw_super->secs_per_zone	0-4294967295
PARAM_VALUE	0	sbi->raw_super->segment0_blkaddr	0-4294967295
PARAM_VALUE	0	sbi->raw_super->segment_count_ckpt	0-4294967295
PARAM_VALUE	0	sbi->raw_super->segment_count_nat	0-4294967295
PARAM_VALUE	0	sbi->raw_super->segment_count_sit	0-4294967295
PARAM_VALUE	0	sbi->raw_super->segment_count_ssa	0-4294967295
PARAM_VALUE	0	sbi->raw_super->segs_per_sec	0-4294967295
PARAM_VALUE	0	sbi->raw_super->sit_blkaddr	0-4294967295
PARAM_VALUE	0	sbi->raw_super->ssa_blkaddr	0-4294967295
PARAM_VALUE	0	sbi->rf_node_block_count.lock.owner_cpu	0-4294967295
PARAM_VALUE	0	sbi->wb_sync_req	4096-ptr_max
BUF_SIZE	0	sbi	1-s32max
BUF_SIZE	0	sbi	1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS	0	sbi	unit_byte
HALF_LOCKED2		&inode->i_rwsem

fs/f2fs/file.c need_inode_page_update() -> f2fs_need_inode_block_update()

Type	Parameter	Key	Value
PARAM_VALUE	0	sbi	4096-ptr_max
PARAM_VALUE	0	sbi->alloc_sem.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	sbi->alloc_sem.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	sbi->alloc_sem.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	sbi->alloc_sem.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	sbi->alloc_sem.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	sbi->alloc_sem.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	sbi->alloc_sem.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	sbi->bad_size	0-4294967295
PARAM_VALUE	0	sbi->check_ino	0-4294967295
PARAM_VALUE	0	sbi->dirty_size	0-4294967295
PARAM_VALUE	0	sbi->erase_free_sem.first_waiter->list.next	5159360019465732096
PARAM_VALUE	0	sbi->erase_free_sem.first_waiter->magic	5159360019465732096
PARAM_VALUE	0	sbi->erase_free_sem.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	sbi->erase_free_sem.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	sbi->erase_free_sem.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	sbi->erase_free_sem.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	sbi->erasing_size	0-4294967295
PARAM_VALUE	0	sbi->free_size	0-4294967295
PARAM_VALUE	0	sbi->gc_task->signal->curr_target->futex_state	0-4294967295
PARAM_VALUE	0	sbi->gc_task->signal->curr_target->user_dumpable	0-1
PARAM_VALUE	0	sbi->gc_task->signal->flags	0-4294967295
PARAM_VALUE	0	sbi->gc_task->signal->group_exit_code	s32min-s32max
PARAM_VALUE	0	sbi->gc_task->signal->group_stop_count	s32min-s32max
PARAM_VALUE	0	sbi->gcblock->wasted_size	0
PARAM_VALUE	0	sbi->highest_xseqno	0-4294967295
PARAM_VALUE	0	sbi->nextblock->allocated_refs	0-4294967295
PARAM_VALUE	0	sbi->nextblock->bad_count	s32min-s32max
PARAM_VALUE	0	sbi->nextblock->dirty_size	0-4294967295
PARAM_VALUE	0	sbi->nextblock->free_size	0-4294967295
PARAM_VALUE	0	sbi->nextblock->offset	0-4294967295
PARAM_VALUE	0	sbi->nextblock->unchecked_size	0-4294967295
PARAM_VALUE	0	sbi->nextblock->used_size	0-4294967295
PARAM_VALUE	0	sbi->nextblock->wasted_size	0-4294967295
PARAM_VALUE	0	sbi->no_chk_data_crc	0-1
PARAM_VALUE	0	sbi->node_inode	4096-ptr_max
PARAM_VALUE	0	sbi->nr_erasing_blocks	0-4294967295
PARAM_VALUE	0	sbi->nr_free_blocks	0-4294967295
PARAM_VALUE	0	sbi->ns_segctor_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->ns_segctor_sem.first_waiter->list.next	2212933610777083904
PARAM_VALUE	0	sbi->ns_segctor_sem.first_waiter->list.prev	2212933610777083904
PARAM_VALUE	0	sbi->ns_segctor_sem.first_waiter->list.prev->next	2212933610777083904
PARAM_VALUE	0	sbi->ns_segctor_sem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->ns_writer->sc_seq_request	0-4294967295
PARAM_VALUE	0	sbi->ns_writer->sc_timer.flags	0-4294967295
PARAM_VALUE	0	sbi->ns_writer->sc_timer.is_hard	0-1
PARAM_VALUE	0	sbi->ns_writer->sc_timer.is_lazy	0-1
PARAM_VALUE	0	sbi->ns_writer->sc_timer.is_queued	0-1
PARAM_VALUE	0	sbi->ns_writer->sc_timer.is_soft	0-1
PARAM_VALUE	0	sbi->ro_error	0-1
PARAM_VALUE	0	sbi->s_es->s_error_count	0-4294967295
PARAM_VALUE	0	sbi->s_es->s_first_error_time	0-4294967295
PARAM_VALUE	0	sbi->s_es->s_first_error_time_hi	0-255
PARAM_VALUE	0	sbi->s_es->s_free_blocks_count_hi	0
PARAM_VALUE	0	sbi->s_es->s_free_blocks_count_lo	0-4294967295
PARAM_VALUE	0	sbi->s_es->s_last_error_time	0-4294967295
PARAM_VALUE	0	sbi->s_es->s_last_error_time_hi	0-255
PARAM_VALUE	0	sbi->s_es->s_wtime	0-4294967295
PARAM_VALUE	0	sbi->s_es->s_wtime_hi	0-255
PARAM_VALUE	0	sbi->s_freeclusters_counter.lock.owner	(-1)
PARAM_VALUE	0	sbi->s_freeclusters_counter.lock.owner_cpu	4294967295
PARAM_VALUE	0	sbi->s_freeclusters_counter.lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	sbi->s_freeinodes_counter.lock.owner	(-1)
PARAM_VALUE	0	sbi->s_freeinodes_counter.lock.owner_cpu	4294967295
PARAM_VALUE	0	sbi->s_freeinodes_counter.lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_end_io	6431644242391375872
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->b_count.counter	s32min-s32max
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->b_folio->mapping->wb_err	0-4294967295
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->b_folio->page.page_type	0-4294967295
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->b_folio->private->wb_kref	s32min-s32max
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->b_mmb->mapping->wb_err	0-4294967295
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->closure_get_happened	0-1
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->completion.callback	6452105974677680128
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->completion.priority	0-2
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->completion.result	s32min-s32max
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->context->thread_id	0-255
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->data->task.tk_status	s32min-s32max
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->data->verf.committed	2
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->magic	0-4294967295
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->remaining.counter	s32min-s32max
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->sd_log_in_flight.counter	s32min-s32max
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->vio.completion.priority	0-2
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->vio.completion.result	s32min-s32max
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->work.flags	0-4294967295
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->work.is_hard	0-1
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->work.is_lazy	0-1
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->work.is_queued	0-1
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_private->work.is_soft	0-1
PARAM_VALUE	0	sbi->sd_jdesc->jd_log_bio->bi_status	1-255
PARAM_VALUE	0	sbi->sd_log_blks_free.counter	s32min-s32max
PARAM_VALUE	0	sbi->sd_log_blks_needed.counter	s32min-s32max
PARAM_VALUE	0	sbi->sd_log_blks_reserved	0-4294967295
PARAM_VALUE	0	sbi->sd_log_error	s32min-s32max
PARAM_VALUE	0	sbi->sd_log_flush_head	0-4294967295
PARAM_VALUE	0	sbi->sd_log_flush_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->sd_log_flush_lock.first_waiter->list.next	2212933610777083904,2624917664208203776
PARAM_VALUE	0	sbi->sd_log_flush_lock.first_waiter->list.prev	2212933610777083904,2624917664208203776
PARAM_VALUE	0	sbi->sd_log_flush_lock.first_waiter->type	0-1
PARAM_VALUE	0	sbi->sd_log_flush_tail	0-4294967295
PARAM_VALUE	0	sbi->sd_log_head	0-4294967295
PARAM_VALUE	0	sbi->sd_log_idle	0-1
PARAM_VALUE	0	sbi->sd_log_num_revoke	0-4294967295
PARAM_VALUE	0	sbi->sd_log_ordered.next->next	0
PARAM_VALUE	0	sbi->sd_log_pinned.counter	s32min-s32max
PARAM_VALUE	0	sbi->sd_log_revokes_available.counter	s32min-s32max
PARAM_VALUE	0	sbi->sd_log_tail	0-4294967295
PARAM_VALUE	0	sbi->sd_log_thresh1.counter	s32min-s32max
PARAM_VALUE	0	sbi->sd_log_thresh2.counter	s32min-s32max
PARAM_VALUE	0	sbi->sector_size	0-4294967295
PARAM_VALUE	0	sbi->summary->sum_buf->v32	0-4294967295
PARAM_VALUE	0	sbi->summary->sum_num	0-4294967295
PARAM_VALUE	0	sbi->summary->sum_padded	0-4294967295
PARAM_VALUE	0	sbi->summary->sum_size	0-4294967295
PARAM_VALUE	0	sbi->unchecked_size	0-4294967295
PARAM_VALUE	0	sbi->used_size	0-4294967295
PARAM_VALUE	0	sbi->wasted_size	0-4294967295
PARAM_VALUE	0	sbi->wbuf_dwork.cpu	s32min-s32max
PARAM_VALUE	0	sbi->wbuf_dwork.timer.flags	0-4294967295
PARAM_VALUE	0	sbi->wbuf_dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	sbi->wbuf_dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	sbi->wbuf_dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	sbi->wbuf_inodes->ino	0-4294967295
PARAM_VALUE	0	sbi->wbuf_len	0-4294967295
PARAM_VALUE	0	sbi->wbuf_ofs	0-4294967295
PARAM_VALUE	0	sbi->wbuf_pagesize	0-4294967295
PARAM_VALUE	0	sbi->wbuf_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->wbuf_sem.first_waiter->list.next	2212933610777083904,2624917664208203776
PARAM_VALUE	0	sbi->wbuf_sem.first_waiter->list.prev	2212933610777083904,2624917664208203776
PARAM_VALUE	0	sbi->wbuf_sem.first_waiter->list.prev->next	2624917664208203776
PARAM_VALUE	0	sbi->wbuf_sem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->xattr_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->xattr_sem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	sbi->xattr_sem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	sbi->xattr_sem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->xdatum_mem_usage	0-4294967295
PARAM_VALUE	0	sbi->xref_dead_list->ic	0-4294967295
PARAM_VALUE	0	sbi->xref_dead_list->xd	0-4294967295
BUF_SIZE	0	sbi	1-s32max
BUF_SIZE	0	sbi	1-s32max
DATA_SOURCE	0	sbi	$0
DATA_SOURCE	1	ino	$1
RX_PATH
TASK_NOT_RUNNING
UNITS	0	sbi	unit_byte
HALF_LOCKED2		&inode->i_rwsem