zloop_mark_empty identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/block/zloop.c, line 301 (as a function)

Referenced in 1 files:

drivers/block/zloop.c
- line 342
- line 444

Smatch caller information:

drivers/block/zloop.c zloop_reset_zone() -> zloop_mark_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	zlo	4096-ptr_max
PARAM_VALUE	0	zlo->zones	4096-ptr_max
PARAM_VALUE	1	zone	4096-ptr_max
PARAM_VALUE	1	zone->cond	0-4,14
PARAM_VALUE	1	zone->file	4096-ptr_max
PARAM_VALUE	1	zone->file->f_path->dentry->d_parent->d_fsdata->d_fsdata	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	1	zone->file->f_path->dentry->d_parent->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	1	zone->file->f_path->dentry->d_parent->d_inode->i_sb->s_fs_info->wbuf	0-255
PARAM_VALUE	1	zone->file->f_path->dentry->d_parent->d_inode->i_sb->s_fs_info->wbuf_verify	0-255
PARAM_VALUE	1	zone->file->f_path.dentry	4096-ptr_max
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode	4096-ptr_max
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_io_list.next	4096-ptr_max
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_io_list.prev	4096-ptr_max
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_io_list.prev->next	4096-ptr_max
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_mapping->host->i_sb->s_cop->inode_info_offs	1632,1808,2632,2648,2712
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_rwsem.dep_map->name	0-255
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_rwsem.first_waiter->handoff_set	1
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs	1632,1808,2632,2648
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_sb->s_iflags	16384-u64max
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_wb->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	zone->file->f_path.dentry->d_inode->i_wb->work_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_alias->next->pprev	1-u64max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->active.counter	s32min-s32max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_flags	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits	0-255
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes	0-u16max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen	s32min-s32max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode	0-u16max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags	0-u16max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time	0-u16max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history	0-u16max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner	s32min-s32max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint	0-4294967295
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->d_lockref.count	s32min-s32max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter	s32min-s32max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard	0-1
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy	0-1
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued	0-1
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft	0-1
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter	0-s32max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter	s32min-s32max
PARAM_VALUE	1	zone->file->f_path.dentry->d_parent->d_hash.next->pprev	4096-ptr_max
PARAM_VALUE	1	zone->lock.dep_map->name	0-255
PARAM_VALUE	1	zone->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	1	zone->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	1	zone->lock.osq.tail.counter	0-s32max
PARAM_VALUE	1	zone->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	1	zone->lock.wait_lock.owner	(-1)
PARAM_VALUE	1	zone->lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	zone->wp_lock.rlock.dep_map->name	0-255
BUF_SIZE	0	zlo	128,736,792,816,1000-s32max
BUF_SIZE	0	zlo	128,736,792,816,1000-s32max
CAPPED_DATA	1	zone->file->f_path.dentry	1
CAPPED_DATA	1	zone->file->f_path.dentry->d_inode->i_sb->s_time_max	1
CAPPED_DATA	1	&zone->lock	1
DATA_SOURCE	0	zlo	$0
PARAM_COMPARE	1	zone->file->f_path.dentry->d_inode->i_sb->s_time_max	>= $1->file->f_path.dentry->d_inode->i_sb->s_time_min
PREEMPT_ADD			<- disables preempt
NOCHECK_CALL
UNITS	0	zlo	unit_byte
LOCK2	1	&zone->lock
LOCK2	1	&zone->wp_lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct zloop_zone)->lock
TYPE_LOCK		(struct zloop_zone)->wp_lock

drivers/block/zloop.c zloop_update_seq_zone() -> zloop_mark_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	zlo	4096-ptr_max
PARAM_VALUE	0	zlo->zones	4096-ptr_max
PARAM_VALUE	1	zone	4096-ptr_max
PARAM_VALUE	1	zone->file	4096-ptr_max
PARAM_VALUE	1	zone->file->f_path.dentry	4096-ptr_max
PARAM_VALUE	1	zone->wp_lock.rlock.dep_map->name	0-255
BUF_SIZE	0	zlo	(-1),128,736,792,816,1000-s32max
BUF_SIZE	0	zlo	(-1),128,736,792,816,1000-s32max
BUF_SIZE	0	zlo->data_dir	(-1)-s32max
BUF_SIZE	0	zlo->workqueue	(-1),512,528-8720
DATA_SOURCE	0	zlo	$0
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	zlo->max_open_zones
NO_OVERFLOW_SIMPLE	0	zlo->nr_conv_zones
NO_OVERFLOW_SIMPLE	0	zlo->zone_append
UNITS	0	zlo	unit_byte
LOCK2		&zone->lock
LOCK2	1	&zone->wp_lock
TYPE_LOCK		(struct zloop_zone)->lock
TYPE_LOCK		(struct zloop_zone)->wp_lock