Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/zloop.c zloop_close_zone() -> zloop_lru_remove_open_zone()

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 2-3
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 736,792,816,1000-s32max
BUF_SIZE 0 zlo 736,792,816,1000-s32max
CAPPED_DATA 1 &zone->lock 1
DATA_SOURCE 0 zlo $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
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_mark_empty() -> zloop_lru_remove_open_zone()

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 4096-ptr_max
PARAM_VALUE 1 zone->file->f_path.dentry->d_inode->i_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,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.first_waiter->handoff_set 0-1
PARAM_VALUE 1 zone->file->f_path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
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),1-s32max
BUF_SIZE 0 zlo->workqueue (-1),512,528-8720
CAPPED_DATA 1 zone->file->f_path.dentry 1
DATA_SOURCE 0 zlo $0
DATA_SOURCE 1 zone $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 zlo unit_byte
LOCK2 1 &zone->wp_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &zone->lock
HALF_LOCKED2 1 &zone->lock
TYPE_LOCK (struct zloop_zone)->lock
TYPE_LOCK (struct zloop_zone)->wp_lock

drivers/block/zloop.c zloop_mark_full() -> zloop_lru_remove_open_zone()

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->f_path.dentry->d_inode->i_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,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.first_waiter->handoff_set 0-1
PARAM_VALUE 1 zone->file->f_path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
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),1-s32max
BUF_SIZE 0 zlo->workqueue (-1),512,528-8720
DATA_SOURCE 0 zlo $0
DATA_SOURCE 1 zone $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 zlo unit_byte
LOCK2 1 &zone->wp_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &zone->lock
HALF_LOCKED2 1 &zone->lock
TYPE_LOCK (struct zloop_zone)->wp_lock