Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio_pci_modern.c virtio_pci_admin_cmd_cap_init() -> virtio_pci_admin_cmd_dev_parts_objects_enable()

Type Parameter Key Value
PARAM_VALUE 0 virtio_dev 4096-ptr_max
PARAM_VALUE 0 virtio_dev->config 4096-ptr_max
PARAM_VALUE 0 virtio_dev->config->find_vqs 4096-ptr_max
PARAM_VALUE 0 virtio_dev->config->get 0,4096-ptr_max
PARAM_VALUE 0 virtio_dev->config->get_extended_features 0,6730071979336241152
PARAM_VALUE 0 virtio_dev->config->get_shm_region 0,2525218589895086080,3831783894439149568
PARAM_VALUE 0 virtio_dev->config->get_status 4096-ptr_max
PARAM_VALUE 0 virtio_dev->config->reset 4096-ptr_max
PARAM_VALUE 0 virtio_dev->config->set 0,4096-ptr_max
PARAM_VALUE 0 virtio_dev->config->set_status 4096-ptr_max
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_op->d_dname 0,716233247738060800,2056107418359259136,2102941272419614720,3721061892745007104,5585410052597575680,6720345164634435584,7931586599356526592
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 virtio_dev->debugfs_dir->d_sb->__s_d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 virtio_dev->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 virtio_dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 virtio_dev->dev.parent->cma_area->nranges s32min-s32max
PARAM_VALUE 0 virtio_dev->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 virtio_dev->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 virtio_dev->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
BUF_SIZE 0 virtio_dev->config (-1),144
BUF_SIZE 0 virtio_dev->dev.bus (-1),168
BUF_SIZE 0 virtio_dev->dev.parent (-1),1616
BUF_SIZE 0 virtio_dev->priv (-1),112,200,280,336,368,376-752,816,928,2352,4600-s32max
DATA_SOURCE 0 virtio_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 virtio_dev->config_change_pending 0
HOST_DATA 0 virtio_dev->config_core_enabled 0
HOST_DATA 0 virtio_dev->config_driver_disabled 0
HOST_DATA 0 virtio_dev->dev.bus_dma_limit 0-u64max
HOST_DATA 0 virtio_dev->dev.coherent_dma_mask 0-u64max
HOST_DATA 0 virtio_dev->dev.devt 0-u32max
HOST_DATA 0 virtio_dev->dev.id 0-u32max
HOST_DATA 0 virtio_dev->dev.kobj.release.cpu s32min-s32max
HOST_DATA 0 virtio_dev->dev.kobj.release.timer.expires 0-u64max
HOST_DATA 0 virtio_dev->dev.kobj.release.timer.flags 0-u32max
HOST_DATA 0 virtio_dev->dev.kobj.release.work.data.counter s64min-s64max
HOST_DATA 0 virtio_dev->dev.kobj.uevent_suppress 0-1
HOST_DATA 0 virtio_dev->dev.mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 virtio_dev->dev.mutex.owner.counter s64min-s64max
HOST_DATA 0 virtio_dev->dev.power.accounting_timestamp 0-u64max
HOST_DATA 0 virtio_dev->dev.power.active_time 0-u64max
HOST_DATA 0 virtio_dev->dev.power.async_suspend 0-1
HOST_DATA 0 virtio_dev->dev.power.autosuspend_delay s32min-s32max
HOST_DATA 0 virtio_dev->dev.power.can_wakeup 0-1
HOST_DATA 0 virtio_dev->dev.power.detach_power_off 0-1
HOST_DATA 0 virtio_dev->dev.power.direct_complete 0-1
HOST_DATA 0 virtio_dev->dev.power.driver_flags 0-u32max
HOST_DATA 0 virtio_dev->dev.power.in_dpm_list 0-1
HOST_DATA 0 virtio_dev->dev.power.irq_safe 0-1
HOST_DATA 0 virtio_dev->dev.power.last_busy 0-u64max
HOST_DATA 0 virtio_dev->dev.power.links_count 0-u32max
HOST_DATA 0 virtio_dev->dev.power.may_skip_resume 0-1
HOST_DATA 0 virtio_dev->dev.power.memalloc_noio 0-1
HOST_DATA 0 virtio_dev->dev.power.must_resume 0-1
HOST_DATA 0 virtio_dev->dev.power.no_callbacks 0-1
HOST_DATA 0 virtio_dev->dev.power.no_pm 0-1
HOST_DATA 0 virtio_dev->dev.power.no_pm_callbacks 0-1
HOST_DATA 0 virtio_dev->dev.power.out_band_wakeup 0-1
HOST_DATA 0 virtio_dev->dev.power.power_state.event s32min-s32max
HOST_DATA 0 virtio_dev->dev.power.smart_suspend 0-1
HOST_DATA 0 virtio_dev->dev.power.strict_midlayer 0-1
HOST_DATA 0 virtio_dev->dev.power.suspended_time 0-u64max
HOST_DATA 0 virtio_dev->dev.power.syscore 0-1
HOST_DATA 0 virtio_dev->dev.power.timer_autosuspends 0-1
HOST_DATA 0 virtio_dev->dev.power.use_autosuspend 0-1
HOST_DATA 0 virtio_dev->dev.power.work_in_progress 0-1
HOST_DATA 0 virtio_dev->dev.removable 0-u32max
HOST_DATA 0 virtio_dev->failed 0-1
HOST_DATA 0 virtio_dev->features 0-u64max
HOST_DATA 0 virtio_dev->id.device 1-u32max
HOST_DATA 0 virtio_dev->id.vendor 0-u32max
HOST_DATA 0 virtio_dev->index 0-s32max
NO_OVERFLOW_SIMPLE 0 virtio_dev->priv->num_vqs
HALF_LOCKED2 global &the_virtio_vsock_mutex