f2fs_remove_inode_page 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 3988 (as a prototype)

Defined in 1 files as a function:

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

Referenced in 1 files:

fs/f2fs/inode.c, line 931

Smatch caller information:

fs/f2fs/inode.c f2fs_delete_inode() -> f2fs_remove_inode_page()

Type	Parameter	Key	Value
PARAM_VALUE	0	inode	4096-ptr_max
PARAM_VALUE	0	inode->i_io_list.next->prev	4096-ptr_max
PARAM_VALUE	0	inode->i_io_list.prev->next	4096-ptr_max
PARAM_VALUE	0	inode->i_lock.rlock.dep_map->name	0-255
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->list.next	2212933610777083904
PARAM_VALUE	0	inode->i_mapping->i_mmap_rwsem.first_waiter->list.prev	2212933610777083904
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_fs_info->alloc_sem.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	inode->i_sb->s_fs_info->alloc_sem.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	0	inode->i_sb->s_fs_info->alloc_sem.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	inode->i_sb->s_fs_info->alloc_sem.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->alloc_sem.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->bad_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->check_ino	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->dirty_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->erase_free_sem.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	inode->i_sb->s_fs_info->erase_free_sem.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	inode->i_sb->s_fs_info->erase_free_sem.first_waiter->magic	5159360019465732096
PARAM_VALUE	0	inode->i_sb->s_fs_info->erase_free_sem.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	inode->i_sb->s_fs_info->erase_free_sem.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->erase_free_sem.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	inode->i_sb->s_fs_info->erase_free_sem.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->erase_free_sem.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->erasing_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->free_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->gc_task->signal->curr_target->futex_state	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->gc_task->signal->curr_target->user_dumpable	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->gc_task->signal->flags	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->gc_task->signal->group_exit_code	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->gc_task->signal->group_stop_count	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->highest_xseqno	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->nextblock->allocated_refs	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->nextblock->bad_count	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->nextblock->dirty_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->nextblock->free_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->nextblock->offset	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->nextblock->unchecked_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->nextblock->used_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->nextblock->wasted_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->no_chk_data_crc	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->nr_erasing_blocks	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->nr_free_blocks	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->ns_segctor_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->ns_segctor_sem.first_waiter->list.next	2212933610777083904
PARAM_VALUE	0	inode->i_sb->s_fs_info->ns_segctor_sem.first_waiter->list.prev	2212933610777083904
PARAM_VALUE	0	inode->i_sb->s_fs_info->ns_segctor_sem.first_waiter->list.prev->next	2212933610777083904
PARAM_VALUE	0	inode->i_sb->s_fs_info->ns_segctor_sem.first_waiter->type	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->ns_writer->sc_seq_request	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->ns_writer->sc_timer.flags	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->ns_writer->sc_timer.is_hard	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->ns_writer->sc_timer.is_lazy	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->ns_writer->sc_timer.is_queued	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->ns_writer->sc_timer.is_soft	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->ro_error	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_es->s_error_count	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_es->s_first_error_time	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_es->s_first_error_time_hi	0-255
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_es->s_free_blocks_count_lo	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_es->s_last_error_time	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_es->s_last_error_time_hi	0-255
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_es->s_wtime	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_es->s_wtime_hi	0-255
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_freeclusters_counter.lock.owner	(-1)
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_freeclusters_counter.lock.owner_cpu	4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_freeclusters_counter.lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_freeinodes_counter.lock.owner	(-1)
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_freeinodes_counter.lock.owner_cpu	4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->s_freeinodes_counter.lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_jdesc->jd_log_bio->bi_end_io	6431644242391375872
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_jdesc->jd_log_bio->bi_status	10
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_blks_free.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_blks_needed.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_blks_reserved	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_error	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_flush_head	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->list.next	2212933610777083904,2624917664208203776
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->list.prev	2212933610777083904,2624917664208203776
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->type	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_flush_tail	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_head	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_idle	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_num_revoke	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_pinned.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_revokes_available.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_tail	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_thresh1.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->sd_log_thresh2.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->sector_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->summary->sum_buf->v32	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->summary->sum_num	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->summary->sum_padded	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->summary->sum_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->unchecked_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->used_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->wasted_size	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_dwork.cpu	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_dwork.timer.flags	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_inodes->ino	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_len	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_ofs	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_sem.first_waiter->list.next	2212933610777083904,2624917664208203776
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_sem.first_waiter->list.prev	2212933610777083904,2624917664208203776
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_sem.first_waiter->list.prev->next	2624917664208203776
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_sem.first_waiter->type	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->wbuf_sem.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->xattr_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->xattr_sem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	inode->i_sb->s_fs_info->xattr_sem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	inode->i_sb->s_fs_info->xattr_sem.first_waiter->type	0-1
PARAM_VALUE	0	inode->i_sb->s_fs_info->xattr_sem.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	inode->i_sb->s_fs_info->xdatum_mem_usage	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->xref_dead_list->ic	0-4294967295
PARAM_VALUE	0	inode->i_sb->s_fs_info->xref_dead_list->xd	0-4294967295
PARAM_VALUE	0	inode->i_wb->dwork->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	inode->i_wb->dwork.timer.entry.pprev	0,4096-ptr_max
PARAM_VALUE	0	inode->i_wb->dwork.timer.is_hard	0-1
PARAM_VALUE	0	inode->i_wb->dwork.timer.is_lazy	0-1
PARAM_VALUE	0	inode->i_wb->dwork.timer.is_queued	0-1
PARAM_VALUE	0	inode->i_wb->dwork.timer.is_soft	0-1
PARAM_VALUE	0	inode->i_wb->dwork.timer.node.node.next	0
PARAM_VALUE	0	inode->i_wb->dwork.timer.node.node.prev	0
PARAM_VALUE	0	inode->i_wb->dwork.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	inode->i_wb->dwork.work.entry.pprev	0
PARAM_VALUE	0	inode->i_wb->dwork.work.flags	0-4294967295
PARAM_VALUE	0	inode->i_wb->dwork.work.function	1626621062881370112
PARAM_VALUE	0	inode->i_wb->dwork.work.is_hard	0-1
PARAM_VALUE	0	inode->i_wb->dwork.work.is_lazy	0-1
PARAM_VALUE	0	inode->i_wb->dwork.work.is_queued	0-1
PARAM_VALUE	0	inode->i_wb->dwork.work.is_soft	0-1
PARAM_VALUE	0	inode->i_wb->dwork.work.node.node.next	0
PARAM_VALUE	0	inode->i_wb->dwork.work.node.node.prev	0
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	0	inode->i_wb->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	inode->i_wb->refcnt.data	0,4096-ptr_max
PARAM_VALUE	0	inode->i_wb->refcnt.percpu_count_ptr	1-u64max
PARAM_VALUE	0	inode->i_wb->work_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	*inode->i_sb->s_fs_info->s_es->s_first_error_func	0-255
PARAM_VALUE	0	*inode->i_sb->s_fs_info->s_es->s_last_error_func	0-255
PARAM_VALUE	0	*inode->i_sb->s_fs_info->summary->sum_list_head->d.name	0-255
PARAM_VALUE	0	*inode->i_sb->s_fs_info->wbuf	0-255
PARAM_VALUE	0	*inode->i_sb->s_fs_info->wbuf_verify	0-255
CAPPED_DATA	0	inode->i_sb	1
DATA_SOURCE	0	inode	$0
LOCK2		&sbi->cp_rwsem.internal_rwsem
TYPE_LOCK		(struct f2fs_rwsem)->internal_rwsem