check_block_count identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/f2fs/segment.h, line 819 (as a function)

Referenced in 1 files:

fs/f2fs/segment.c

Smatch caller information:

fs/f2fs/segment.c build_sit_entries() -> check_block_count()

Type	Parameter	Key	Value
PARAM_VALUE	0	sbi	4096-ptr_max
PARAM_VALUE	0	sbi->meta_inode	4096-ptr_max
PARAM_VALUE	0	sbi->meta_inode->i_sb->s_cop->inode_info_offs	1632,1808,2632,2648
PARAM_VALUE	0	sbi->node_inode->i_sb->s_cop->inode_info_offs	1632,1808,2632,2648
PARAM_VALUE	0	sbi->sb	4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_bdev	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info	4096-ptr_max
PARAM_VALUE	1	segno	s32min-(-2),0-s32max
PARAM_VALUE	2	raw_sit	9011233567116341248
CAPPED_DATA	1	segno	1
DATA_SOURCE	0	sbi	$0
NO_OVERFLOW_SIMPLE	0	sbi->total_sections

fs/f2fs/segment.c build_sit_entries() -> check_block_count()

Type	Parameter	Key	Value
PARAM_VALUE	0	sbi	4096-ptr_max
PARAM_VALUE	0	sbi->meta_inode->i_sb->s_cop->inode_info_offs	1632,1808,2632,2648
PARAM_VALUE	0	sbi->node_inode->i_sb->s_cop->inode_info_offs	1632,1808,2632,2648
PARAM_VALUE	0	sbi->sb	4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_bdev	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info	4096-ptr_max
PARAM_VALUE	2	raw_sit	9011233567116341248
CAPPED_DATA	1	segno	1
DATA_SOURCE	0	sbi	$0
NO_OVERFLOW_SIMPLE	0	sbi->total_sections
LOCK2		&curseg->journal_rwsem
TYPE_LOCK		(struct curseg_info)->journal_rwsem

fs/f2fs/segment.c f2fs_flush_sit_entries() -> check_block_count()

Type	Parameter	Key	Value
PARAM_VALUE	0	sbi	4096-ptr_max
PARAM_VALUE	0	sbi->alloc_valid_block_count.count	0
PARAM_VALUE	0	sbi->alloc_valid_block_count.lock.dep_map->name	0-255
PARAM_VALUE	0	sbi->alloc_valid_block_count.lock.owner	(-1)
PARAM_VALUE	0	sbi->alloc_valid_block_count.lock.owner_cpu	u32max
PARAM_VALUE	0	sbi->ckpt->valid_block_count	0-u32max
PARAM_VALUE	0	sbi->cp_global_sem.internal_rwsem.dep_map->name	0-255
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->list.next	2624917664208203776
PARAM_VALUE	0	sbi->cp_global_sem.internal_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	sbi->cp_global_sem.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.dep_map->name	0-255
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.osq.tail.counter	0-s32max
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->io_order_lock.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->io_order_lock.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->meta_inode->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648,2712
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.dep_map->name	0-255
PARAM_VALUE	0	sbi->node_change.internal_rwsem.first_waiter->handoff_set	1
PARAM_VALUE	0	sbi->node_change.internal_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	sbi->node_change.internal_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	sbi->node_change.internal_rwsem.first_waiter->type	0-1
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,2712
PARAM_VALUE	0	sbi->node_write.internal_rwsem.dep_map->name	0-255
PARAM_VALUE	0	sbi->node_write.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->node_write.internal_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	sbi->node_write.internal_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	sbi->node_write.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->node_write.internal_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	sbi->pin_sem.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->pin_sem.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->raw_super	4096-ptr_max
PARAM_VALUE	0	sbi->rf_node_block_count.count	0
PARAM_VALUE	0	sbi->rf_node_block_count.lock.dep_map->name	0-255
PARAM_VALUE	0	sbi->rf_node_block_count.lock.owner	(-1)
PARAM_VALUE	0	sbi->rf_node_block_count.lock.owner_cpu	u32max
PARAM_VALUE	0	sbi->sb	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->empty_dir	0,86,4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_cop->inode_info_offs	1632,1640,1720,1808,2632,2648,2704,2712
PARAM_VALUE	0	sbi->sb->s_fs_info->cp_rwsem.internal_rwsem.dep_map->name	0-255
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->sm_info->sit_entry_set.next	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info->sit_entry_set.next->next	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info->sit_entry_set.next->prev	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info->sit_entry_set.prev	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info->sit_entry_set.prev->next	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info->sit_entry_set.prev->next->next	4096-ptr_max
PARAM_VALUE	0	sbi->total_valid_inode_count.lock.dep_map->name	0-255
PARAM_VALUE	0	sbi->total_valid_inode_count.lock.owner	(-1)
PARAM_VALUE	0	sbi->total_valid_inode_count.lock.owner_cpu	u32max
PARAM_VALUE	0	sbi->total_valid_inode_count.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	*sbi->next_victim_seg	0-4294967295
PARAM_VALUE	0	*sbi->page_eio_cnt	s32min-s32max
PARAM_VALUE	1	segno	0-64
PARAM_VALUE	2	raw_sit	4096-ptr_max
BUF_SIZE	0	sbi	(-1),1-s32max
BUF_SIZE	0	sbi	(-1),1-s32max
CAPPED_DATA	0	sbi->sb	1
CAPPED_DATA	1	segno	1
DATA_SOURCE	0	sbi	$0
DATA_SOURCE	1	segno	r find_next_bit
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	sbi	unit_byte
LOCK2		&curseg->journal_rwsem
LOCK2		&sit_i->sentry_lock
LOCK2	0	&sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2	0	&sbi->gc_lock.internal_rwsem
HALF_LOCKED2	0	&sbi->pin_sem.internal_rwsem
HALF_LOCKED2	0	&sbi->umount_mutex
TYPE_LOCK		(struct curseg_info)->journal_rwsem
TYPE_LOCK		(struct f2fs_rwsem)->internal_rwsem
TYPE_LOCK		(struct sit_info)->sentry_lock

fs/f2fs/segment.c f2fs_flush_sit_entries() -> check_block_count()

Type	Parameter	Key	Value
PARAM_VALUE	0	sbi	4096-ptr_max
PARAM_VALUE	0	sbi->alloc_valid_block_count.count	0
PARAM_VALUE	0	sbi->alloc_valid_block_count.lock.dep_map->name	0-255
PARAM_VALUE	0	sbi->alloc_valid_block_count.lock.owner	(-1)
PARAM_VALUE	0	sbi->alloc_valid_block_count.lock.owner_cpu	u32max
PARAM_VALUE	0	sbi->ckpt->valid_block_count	0-u32max
PARAM_VALUE	0	sbi->cp_global_sem.internal_rwsem.dep_map->name	0-255
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->list.next	2624917664208203776
PARAM_VALUE	0	sbi->cp_global_sem.internal_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	sbi->cp_global_sem.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.dep_map->name	0-255
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->cp_rwsem.internal_rwsem.osq.tail.counter	0-s32max
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->io_order_lock.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->io_order_lock.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->meta_inode	4096-ptr_max
PARAM_VALUE	0	sbi->meta_inode->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648,2712
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.dep_map->name	0-255
PARAM_VALUE	0	sbi->node_change.internal_rwsem.first_waiter->handoff_set	1
PARAM_VALUE	0	sbi->node_change.internal_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	sbi->node_change.internal_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	sbi->node_change.internal_rwsem.first_waiter->type	0-1
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,2712
PARAM_VALUE	0	sbi->node_write.internal_rwsem.dep_map->name	0-255
PARAM_VALUE	0	sbi->node_write.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->node_write.internal_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	sbi->node_write.internal_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	sbi->node_write.internal_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	sbi->node_write.internal_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	sbi->pin_sem.internal_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sbi->pin_sem.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->raw_super	4096-ptr_max
PARAM_VALUE	0	sbi->rf_node_block_count.count	0
PARAM_VALUE	0	sbi->rf_node_block_count.lock.dep_map->name	0-255
PARAM_VALUE	0	sbi->rf_node_block_count.lock.owner	(-1)
PARAM_VALUE	0	sbi->rf_node_block_count.lock.owner_cpu	u32max
PARAM_VALUE	0	sbi->sb	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->empty_dir	0,86,4096-ptr_max
PARAM_VALUE	0	sbi->sb->s_cop->inode_info_offs	1632,1640,1720,1808,2632,2648,2704,2712
PARAM_VALUE	0	sbi->sb->s_fs_info->cp_rwsem.internal_rwsem.dep_map->name	0-255
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->sm_info->sit_entry_set.next	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info->sit_entry_set.next->next	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info->sit_entry_set.next->prev	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info->sit_entry_set.prev	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info->sit_entry_set.prev->next	4096-ptr_max
PARAM_VALUE	0	sbi->sm_info->sit_entry_set.prev->next->next	4096-ptr_max
PARAM_VALUE	0	sbi->total_valid_inode_count.lock.dep_map->name	0-255
PARAM_VALUE	0	sbi->total_valid_inode_count.lock.owner	(-1)
PARAM_VALUE	0	sbi->total_valid_inode_count.lock.owner_cpu	u32max
PARAM_VALUE	0	sbi->total_valid_inode_count.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	*sbi->next_victim_seg	0-4294967295
PARAM_VALUE	0	*sbi->page_eio_cnt	s32min-s32max
PARAM_VALUE	1	segno	0-64
PARAM_VALUE	2	raw_sit	4096-ptr_max
BUF_SIZE	0	sbi	(-1),1-s32max
BUF_SIZE	0	sbi	(-1),1-s32max
CAPPED_DATA	0	sbi->sb	1
CAPPED_DATA	1	segno	1
DATA_SOURCE	0	sbi	$0
DATA_SOURCE	1	segno	r find_next_bit
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	sbi	unit_byte
LOCK2		&sit_i->sentry_lock
LOCK2	0	&sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2	0	&sbi->gc_lock.internal_rwsem
HALF_LOCKED2	0	&sbi->pin_sem.internal_rwsem
HALF_LOCKED2	0	&sbi->umount_mutex
TYPE_LOCK		(struct f2fs_rwsem)->internal_rwsem
TYPE_LOCK		(struct sit_info)->sentry_lock