__f2fs_commit_super identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/f2fs/super.c, line 3877 (as a function)

Referenced in 1 files:

fs/f2fs/super.c

Smatch caller information:

fs/f2fs/super.c f2fs_commit_super() -> __f2fs_commit_super()

Type	Parameter	Key	Value
PARAM_VALUE	0	sbi	4096-ptr_max
PARAM_VALUE	0	sbi->cp_global_sem.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->cp_global_sem.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->gc_lock.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->gc_lock.internal_rwsem.first_waiter->type	0-1
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->node_change.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->node_change.internal_rwsem.first_waiter->type	0-1
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->quota_sem.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->quota_sem.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->sb	4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_bdev	4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_bdev->bd_mapping	4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_bdi->wb_switch_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->sb->s_bdi->wb_switch_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->sb->s_cop->inode_info_offs	1632,1640,1720,1808,2632,2648,2704,2712
PARAM_VALUE	0	sbi->sb->s_umount.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->sb->s_umount.first_waiter->type	0-1
PARAM_VALUE	0	sbi->sb_lock.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->sb_lock.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	*sbi->next_victim_seg	0-4294967295
PARAM_VALUE	1	folio	4096-ptr_max
PARAM_VALUE	2	index	0-1
PARAM_VALUE	3	update	1
BUF_SIZE	0	sbi	(-1),1-s32max
BUF_SIZE	0	sbi	(-1),1-s32max
CAPPED_DATA	0	sbi->s_ndevs	1
DATA_SOURCE	0	sbi	$0
DATA_SOURCE	1	folio	r read_mapping_folio
FUZZY_MAX	2	index	1
HARD_MAX	2	index	1
RX_PATH
TASK_NOT_RUNNING
UNITS	0	sbi	unit_byte
HALF_LOCKED2		&of->mutex
HALF_LOCKED2	0	&sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2	0	&sbi->gc_lock.internal_rwsem
HALF_LOCKED2	0	&sbi->sb->s_umount
HALF_LOCKED2	0	&sbi->sb_lock.internal_rwsem

fs/f2fs/super.c f2fs_commit_super() -> __f2fs_commit_super()

Type	Parameter	Key	Value
PARAM_VALUE	0	sbi	4096-ptr_max
PARAM_VALUE	0	sbi->cp_global_sem.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->cp_global_sem.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->gc_lock.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->gc_lock.internal_rwsem.first_waiter->type	0-1
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->node_change.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->node_change.internal_rwsem.first_waiter->type	0-1
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->quota_sem.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->quota_sem.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->sb	4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_bdev	4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_bdev->bd_mapping	4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_bdi->wb_switch_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->sb->s_bdi->wb_switch_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->sb->s_cop->inode_info_offs	1632,1640,1720,1808,2632,2648,2704,2712
PARAM_VALUE	0	sbi->sb->s_umount.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->sb->s_umount.first_waiter->type	0-1
PARAM_VALUE	0	sbi->sb_lock.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->sb_lock.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	*sbi->next_victim_seg	0-4294967295
PARAM_VALUE	1	folio	4096-ptr_max
PARAM_VALUE	1	folio->_deferred_list.next->next	4096-ptr_max
PARAM_VALUE	1	folio->_deferred_list.next->prev	4096-ptr_max
PARAM_VALUE	1	folio->_deferred_list.prev->next	4096-ptr_max
PARAM_VALUE	1	folio->_deferred_list.prev->prev	4096-ptr_max
PARAM_VALUE	1	folio->page.zone_device_data->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	1	folio->page.zone_device_data->page_type	4294967295
PARAM_VALUE	1	folio->page.zone_device_data->private	0-4294967295
PARAM_VALUE	1	folio->pgmap->ref.data	0,4096-ptr_max
PARAM_VALUE	2	index	0-s32max,18446744071562067968-u64max
PARAM_VALUE	3	update	1
BUF_SIZE	0	sbi	(-1),1-s32max
BUF_SIZE	0	sbi	(-1),1-s32max
CAPPED_DATA	0	sbi->s_ndevs	1
DATA_SOURCE	0	sbi	$0
DATA_SOURCE	1	folio	r read_mapping_folio
BIT_INFO	2	index	0x0,0x7fffffff
BIT_INFO	2	index	0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
UNITS	0	sbi	unit_byte
HALF_LOCKED2		&of->mutex
HALF_LOCKED2	0	&sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2	0	&sbi->gc_lock.internal_rwsem
HALF_LOCKED2	0	&sbi->sb->s_umount
HALF_LOCKED2	0	&sbi->sb_lock.internal_rwsem

fs/f2fs/super.c sanity_check_area_boundary() -> __f2fs_commit_super()

Type	Parameter	Key	Value
PARAM_VALUE	0	sbi	4096-ptr_max
PARAM_VALUE	0	sbi->sb	4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_bdev	4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_bdev->bd_mapping	4096-ptr_max
PARAM_VALUE	1	folio	4096-ptr_max
PARAM_VALUE	1	folio->mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	folio->mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	2	index	0-1
PARAM_VALUE	3	update	0
CAPPED_DATA	0	sbi->s_ndevs	1
DATA_SOURCE	0	sbi	$0
DATA_SOURCE	1	folio	$1
DATA_SOURCE	2	index	$2