__check_sit_bitmap identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/f2fs/segment.c, line 1170 (as a function)

Referenced in 1 files:

fs/f2fs/segment.c
- line 1273
- line 1375

Smatch caller information:

fs/f2fs/segment.c __submit_discard_cmd() -> __check_sit_bitmap()

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->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->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->raw_super->feature	2-u32max
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->next_victim_seg	0-4294967295
BUF_SIZE	0	sbi	(-1),1-s32max
BUF_SIZE	0	sbi	(-1),1-s32max
DATA_SOURCE	0	sbi	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sbi->compress_inode->i_bytes
NO_OVERFLOW_SIMPLE	0	sbi->compress_inode->i_size
NO_OVERFLOW_SIMPLE	0	sbi->meta_inode->i_bytes
NO_OVERFLOW_SIMPLE	0	sbi->meta_inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE	0	sbi->meta_inode->i_size
NO_OVERFLOW_SIMPLE	0	sbi->node_inode->i_bytes
NO_OVERFLOW_SIMPLE	0	sbi->node_inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE	0	sbi->node_inode->i_size
UNITS	0	sbi	unit_byte
UNITS	1	start	unit_page
UNITS	2	end	unit_page
LOCK2		&dcc->cmd_lock
HALF_LOCKED2	0	&sbi->umount_mutex
TYPE_LOCK		(struct discard_cmd_control)->cmd_lock

fs/f2fs/segment.c __submit_zone_reset_cmd() -> __check_sit_bitmap()

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->devs	4096-ptr_max
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->type	0-1
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->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->raw_super->feature	2-u32max
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->next_victim_seg	0-4294967295
PARAM_VALUE	0	*sbi->page_eio_cnt	s32min-s32max
BUF_SIZE	0	sbi	(-1),1-s32max
BUF_SIZE	0	sbi	(-1),1-s32max
DATA_SOURCE	0	sbi	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sbi->compress_inode->i_bytes
NO_OVERFLOW_SIMPLE	0	sbi->compress_inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE	0	sbi->meta_inode->i_bytes
NO_OVERFLOW_SIMPLE	0	sbi->meta_inode->i_size
NO_OVERFLOW_SIMPLE	0	sbi->node_inode->i_bytes
NO_OVERFLOW_SIMPLE	0	sbi->node_inode->i_size
UNITS	0	sbi	unit_byte
UNITS	1	start	unit_page
UNITS	2	end	unit_page
LOCK2		&dcc->cmd_lock
HALF_LOCKED2		&curseg->curseg_mutex
HALF_LOCKED2		&sit_i->sentry_lock
HALF_LOCKED2	0	&sbi->cp_rwsem.internal_rwsem
HALF_LOCKED2	0	&sbi->io_order_lock.internal_rwsem
HALF_LOCKED2	0	&sbi->umount_mutex
TYPE_LOCK		(struct discard_cmd_control)->cmd_lock