Documented in 1 files:

Defined in 11 files as a member:

Defined in 2 files as a macro:

Defined in 4 files as a function:

Referenced in 52 files:

Smatch caller information:

drivers/media/dvb-frontends/cxd2099.c read_data() -> read_block()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->dr s32min-(-1),1-s32max
PARAM_VALUE 0 inode->lastaddress 1,3-5,15-16
PARAM_VALUE 0 inode->lock.dep_map->name 0-255
PARAM_VALUE 0 inode->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 inode->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 inode->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 inode->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 inode->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 inode->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 inode->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 inode->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 inode->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 inode->lock.wait_lock.owner (-1)
PARAM_VALUE 0 inode->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 inode->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 inode->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 inode->regmap->cache_dirty 0-1
PARAM_VALUE 1 folio 18
BUF_SIZE 0 inode s32min-(-2),1-s32max
BUF_SIZE 0 inode s32min-(-2),1-s32max
BUF_SIZE 2 offset 1028
CAPPED_DATA 0 &inode->lock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &inode->lock
HALF_LOCKED2 &sl->slot_lock
TYPE_LOCK (struct cxd)->lock

drivers/media/dvb-frontends/cxd2099.c read_data() -> read_block()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->dr s32min-(-1),1-s32max
PARAM_VALUE 0 inode->lastaddress 1,3-5,15-16
PARAM_VALUE 0 inode->lock.dep_map->name 0-255
PARAM_VALUE 0 inode->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 inode->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 inode->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 inode->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 inode->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 inode->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 inode->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 inode->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 inode->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 inode->lock.wait_lock.owner (-1)
PARAM_VALUE 0 inode->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 inode->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 inode->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 inode->regmap->cache_dirty 0-1
PARAM_VALUE 1 folio 18
PARAM_VALUE 3 block 2-u16max
BUF_SIZE 0 inode s32min-(-2),1-s32max
BUF_SIZE 0 inode s32min-(-2),1-s32max
BUF_SIZE 2 offset 512,1028
BUF_SIZE 2 offset 512,1028
CAPPED_DATA 0 &inode->lock 1
CAPPED_DATA 3 block 1
DATA_SOURCE 2 offset $2
FUZZY_MAX 3 block 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &inode->lock
HALF_LOCKED2 &sl->slot_lock
TYPE_LOCK (struct cxd)->lock

drivers/media/dvb-frontends/cxd2099.c read_reg() -> read_block()

Type Parameter Key Value
PARAM_VALUE 0 inode->lock.dep_map->name 0-255
PARAM_VALUE 0 inode->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 inode->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 inode->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 inode->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 inode->lock.wait_lock.owner (-1)
PARAM_VALUE 0 inode->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 *inode->regs 0-255
PARAM_VALUE 1 folio 1,4,15-16,18
PARAM_VALUE 2 offset 1640659184932016128,1767908222792126464,4725971122401689600,6592568543583027200,7235664656408879104,7477329606298390528
PARAM_VALUE 3 block 1
BUF_SIZE 0 inode s32min-(-2),1-s32max
BUF_SIZE 0 inode s32min-(-2),1-s32max
DATA_SOURCE 0 inode $0
DATA_SOURCE 1 folio $1
DATA_SOURCE 2 offset $2
HARD_MAX 1 folio 18
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->client->irq
LOCK2 0 &inode->lock
TYPE_LOCK (struct cxd)->lock

fs/ubifs/file.c do_readpage() -> read_block()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 folio 4096-ptr_max
PARAM_VALUE 1 folio->mapping->host 4096-ptr_max
PARAM_VALUE 1 folio->mapping->host->i_sb 4096-ptr_max
PARAM_VALUE 1 folio->mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 2 offset 0,4096-u64max
PARAM_VALUE 3 block 0-4294967294
PARAM_VALUE 4 dn 4096-ptr_max
BUF_SIZE 4 dn 4144
BUF_SIZE 4 dn 4144
CAPPED_DATA 3 block 1
DATA_SOURCE 1 folio $0
DATA_SOURCE 4 dn r _kmalloc_noprof
FUZZY_MAX 2 offset 0
NOSPEC 1 folio->mapping->writeback_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 folio->mapping->writeback_index 0-524287[c]

drivers/md/dm-vdo/vdo.c handle_geometry_block_save_error() -> (struct vdo_completion)->callback()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->error_handler 1-u64max
BUF_SIZE 0 inode (-1),4,8-s32max
BUF_SIZE 0 inode (-1),4,8-s32max
BUF_SIZE 0 inode->parent (-1),8-s32max
DATA_SOURCE 0 inode $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 inode->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.thread_count

drivers/md/dm-vdo/vdo.c handle_super_block_save_error() -> (struct vdo_completion)->callback()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->error_handler 1-u64max
BUF_SIZE 0 inode (-1),4,8-s32max
BUF_SIZE 0 inode (-1),4,8-s32max
BUF_SIZE 0 inode->parent (-1),8-s32max
DATA_SOURCE 0 inode $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 inode->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.thread_count

drivers/md/dm-vdo/slab-depot.c handle_operation_error() -> (struct vdo_completion)->callback()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->error_handler 1-u64max
BUF_SIZE 0 inode (-1),4,8-s32max
BUF_SIZE 0 inode (-1),4,8-s32max
BUF_SIZE 0 inode->parent (-1),8-s32max
DATA_SOURCE 0 inode $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 inode->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.thread_count

drivers/md/dm-vdo/funnel-workqueue.c vdo_run_completion() -> (struct vdo_completion)->callback()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $0
CONTAINER 0 -24+0 $(-1)
NOCHECK_CALL

drivers/md/dm-vdo/completion.c vdo_run_completion() -> (struct vdo_completion)->callback()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->requeue 0
PARAM_VALUE 0 inode->vdo->hash_zones->changing 0-1
PARAM_VALUE 0 inode->vdo->hash_zones->create_flag 0-1
PARAM_VALUE 0 inode->vdo->hash_zones->dedupe_flag 0-1
PARAM_VALUE 0 inode->vdo->hash_zones->index_target 0-4294967295
PARAM_VALUE 0 inode->vdo->hash_zones->zone_count 0-255
BUF_SIZE 0 inode (-1),8-s32max
BUF_SIZE 0 inode (-1),8-s32max
BUF_SIZE 0 inode->parent (-1),8-s32max
DATA_SOURCE 0 inode $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 inode->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.thread_count

drivers/md/dm-vdo/action-manager.c vdo_run_completion() -> (struct vdo_completion)->callback()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->complete 0
PARAM_VALUE 0 inode->error_handler 1-u64max
PARAM_VALUE 0 inode->parent 0,4096-ptr_max
PARAM_VALUE 0 inode->result 0
PARAM_VALUE 0 inode->vdo->hash_zones->changing 0-1
PARAM_VALUE 0 inode->vdo->hash_zones->create_flag 0-1
PARAM_VALUE 0 inode->vdo->hash_zones->dedupe_flag 0-1
PARAM_VALUE 0 inode->vdo->hash_zones->index_target 0-4294967295
PARAM_VALUE 0 inode->vdo->hash_zones->zone_count 0-255
BUF_SIZE 0 inode (-1),4,8-s32max
BUF_SIZE 0 inode (-1),4,8-s32max
BUF_SIZE 0 inode->parent (-1),8-s32max
DATA_SOURCE 0 inode $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 inode->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.thread_count

drivers/md/dm-vdo/repair.c handle_journal_load_error() -> (struct vdo_completion)->callback()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->error_handler 1-u64max
PARAM_VALUE 0 inode->parent 4096-ptr_max
BUF_SIZE 0 inode (-1),4,8-s32max
BUF_SIZE 0 inode (-1),4,8-s32max
BUF_SIZE 0 inode->parent (-1),8-s32max
DATA_SOURCE 0 inode $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 inode->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 inode->vdo->thread_config.thread_count