check_valid_map identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/f2fs/gc.c, line 1016 (as a function)

Referenced in 1 files:

fs/f2fs/gc.c

Smatch caller information:

fs/f2fs/gc.c gc_data_segment() -> check_valid_map()

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->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
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_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->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->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_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	0	*sbi->page_eio_cnt	s32min-s32max
PARAM_VALUE	1	segno	0-4294967294
PARAM_VALUE	2	offset	0-s32max
BUF_SIZE	0	sbi	1-s32max
BUF_SIZE	0	sbi	1-s32max
CAPPED_DATA	1	segno	1
CAPPED_DATA	2	offset	1
DATA_SOURCE	0	sbi	$0
DATA_SOURCE	1	segno	$3
FUZZY_MAX	2	offset	0
RX_PATH
TASK_NOT_RUNNING
UNITS	0	sbi	unit_byte
LOCK2	0	&sbi->gc_lock.internal_rwsem
HALF_LOCKED2		&inode->i_rwsem
HALF_LOCKED2	0	&sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2	0	&sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2	0	&sbi->pin_sem.internal_rwsem
TYPE_LOCK		(struct f2fs_rwsem)->internal_rwsem

fs/f2fs/gc.c gc_node_segment() -> check_valid_map()

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->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
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_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->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->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_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	0	*sbi->page_eio_cnt	s32min-s32max
PARAM_VALUE	1	segno	0-4294967294
PARAM_VALUE	2	offset	0-s32max
BUF_SIZE	0	sbi	1-s32max
BUF_SIZE	0	sbi	1-s32max
CAPPED_DATA	1	segno	1
CAPPED_DATA	2	offset	1
DATA_SOURCE	0	sbi	$0
DATA_SOURCE	1	segno	$2
FUZZY_MAX	2	offset	0
RX_PATH
TASK_NOT_RUNNING
UNITS	0	sbi	unit_byte
LOCK2	0	&sbi->gc_lock.internal_rwsem
HALF_LOCKED2		&inode->i_rwsem
HALF_LOCKED2	0	&sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2	0	&sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2	0	&sbi->pin_sem.internal_rwsem
TYPE_LOCK		(struct f2fs_rwsem)->internal_rwsem

fs/f2fs/gc.c gc_node_segment() -> check_valid_map()

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->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
PARAM_VALUE	0	sbi->nm_info	4096-ptr_max
PARAM_VALUE	0	sbi->nm_info->nat_tree_lock.internal_rwsem.dep_map->name	0-255
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->list.next	2624917664208203776
PARAM_VALUE	0	sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->list.prev	2624917664208203776
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_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->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->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_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	segno	0-4294967294
PARAM_VALUE	2	offset	0
BUF_SIZE	0	sbi	1-s32max
BUF_SIZE	0	sbi	1-s32max
CAPPED_DATA	0	sbi->root_ino_num	1
CAPPED_DATA	1	segno	1
DATA_SOURCE	0	sbi	$0
DATA_SOURCE	1	segno	$2
RX_PATH
TASK_NOT_RUNNING
UNITS	0	sbi	unit_byte
LOCK2	0	&sbi->gc_lock.internal_rwsem
HALF_LOCKED2		&inode->i_rwsem
HALF_LOCKED2	0	&sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2	0	&sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2	0	&sbi->pin_sem.internal_rwsem
TYPE_LOCK		(struct f2fs_rwsem)->internal_rwsem

fs/f2fs/gc.c is_alive() -> check_valid_map()

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->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,1808,2632,2648
PARAM_VALUE	0	sbi->nm_info	4096-ptr_max
PARAM_VALUE	0	sbi->nm_info->nat_tree_lock.internal_rwsem.dep_map->name	0-255
PARAM_VALUE	0	sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->handoff_set	1
PARAM_VALUE	0	sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	sbi->nm_info->nat_tree_lock.internal_rwsem.first_waiter->list.prev	2624917664208203776
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_inode->i_sb->s_cop->inode_info_offs	1632,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->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->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_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
BUF_SIZE	0	sbi	1-s32max
BUF_SIZE	0	sbi	1-s32max
CAPPED_DATA	0	sbi->root_ino_num	1
CAPPED_DATA	2	offset	1
DATA_SOURCE	0	sbi	$0
RX_PATH
TASK_NOT_RUNNING
UNITS	0	sbi	unit_byte
LOCK2	0	&sbi->gc_lock.internal_rwsem
HALF_LOCKED2		&inode->i_rwsem
HALF_LOCKED2	0	&sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2	0	&sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2	0	&sbi->pin_sem.internal_rwsem

fs/f2fs/gc.c move_data_block() -> check_valid_map()

Type	Parameter	Key	Value
PARAM_VALUE	1	segno	0-4294967294
PARAM_VALUE	2	offset	0
BUF_SIZE	0	sbi	1-s32max
CAPPED_DATA	1	segno	1
DATA_SOURCE	1	segno	$3
DATA_SOURCE	2	offset	$4
RX_PATH
TASK_NOT_RUNNING
LOCK2		&sbi->gc_lock.internal_rwsem
HALF_LOCKED2		&inode->i_rwsem
HALF_LOCKED2		&sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2		&sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2		&sbi->pin_sem.internal_rwsem

fs/f2fs/gc.c move_data_page() -> check_valid_map()

Type	Parameter	Key	Value
PARAM_VALUE	1	segno	0-4294967294
PARAM_VALUE	2	offset	0
BUF_SIZE	0	sbi	1-s32max
CAPPED_DATA	1	segno	1
DATA_SOURCE	1	segno	$3
DATA_SOURCE	2	offset	$4
RX_PATH
TASK_NOT_RUNNING
LOCK2		&sbi->gc_lock.internal_rwsem
HALF_LOCKED2		&inode->i_rwsem
HALF_LOCKED2		&sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2		&sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2		&sbi->pin_sem.internal_rwsem