Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio.c register_virtio_device() -> virtio_add_status()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config 322963117447450624,7253729138368471040,8526350393422139392,9032641338183921664
PARAM_VALUE 0 dev->config->reset 4096-ptr_max
PARAM_VALUE 0 dev->config_change_pending 0
PARAM_VALUE 0 dev->config_core_enabled 0
PARAM_VALUE 0 dev->config_driver_disabled 0
PARAM_VALUE 0 dev->dev.bus 7806270181018554368
PARAM_VALUE 0 dev->dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 dev->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->defpool.nareas 0-s32max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter 0,9007199250546704
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->pools.next 0
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->pools.prev 0,1473117533515866408
PARAM_VALUE 0 dev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_uses_io_tlb 0
PARAM_VALUE 0 dev->dev.flags 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj->name 0-255
PARAM_VALUE 0 dev->dev.kobj.entry.next 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.entry.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 dev->dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 dev->dev.kobj.name 1-u64max
PARAM_VALUE 0 dev->dev.kobj.state_add_uevent_sent 0
PARAM_VALUE 0 dev->dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 dev->dev.kobj.state_initialized 1
PARAM_VALUE 0 dev->dev.kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 dev->dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.status 0
PARAM_VALUE 0 dev->dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.numa_node (-1)
PARAM_VALUE 0 dev->dev.power.child_count.counter 0
PARAM_VALUE 0 dev->dev.power.deferred_resume 0
PARAM_VALUE 0 dev->dev.power.disable_depth 1
PARAM_VALUE 0 dev->dev.power.early_init 1
PARAM_VALUE 0 dev->dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.idle_notification 0
PARAM_VALUE 0 dev->dev.power.ignore_children 0
PARAM_VALUE 0 dev->dev.power.is_late_suspended 0
PARAM_VALUE 0 dev->dev.power.is_noirq_suspended 0
PARAM_VALUE 0 dev->dev.power.is_prepared 0
PARAM_VALUE 0 dev->dev.power.is_suspended 0
PARAM_VALUE 0 dev->dev.power.last_status (-1)
PARAM_VALUE 0 dev->dev.power.needs_force_resume 0
PARAM_VALUE 0 dev->dev.power.qos 0
PARAM_VALUE 0 dev->dev.power.request 0
PARAM_VALUE 0 dev->dev.power.request_pending 0
PARAM_VALUE 0 dev->dev.power.runtime_auto 1
PARAM_VALUE 0 dev->dev.power.runtime_error 0
PARAM_VALUE 0 dev->dev.power.runtime_status 2
PARAM_VALUE 0 dev->dev.power.timer_expires 0
PARAM_VALUE 0 dev->dev.power.usage_count.counter 0
PARAM_VALUE 0 dev->dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.release 3162814718940299264,3773666831024746496,4334144674559475712,7564292499254050816
PARAM_VALUE 0 dev->index 0-s32max
PARAM_VALUE 0 dev->vqs.next 4096-ptr_max
PARAM_VALUE 0 dev->vqs.next->next 4096-ptr_max
PARAM_VALUE 0 dev->vqs.prev 4096-ptr_max
PARAM_VALUE 0 dev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->vqs.prev->prev 4096-ptr_max
PARAM_VALUE 1 status 1
BUF_SIZE 0 dev (-1),1872
BUF_SIZE 0 dev (-1),1872
BUF_SIZE 0 dev->config (-1),144
BUF_SIZE 0 dev->dev.bus 168
BUF_SIZE 0 dev->dev.parent (-1),1616
DATA_SOURCE 0 dev $0
MEM_ZERO 0 &dev->dev.power.suspend_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->dev.bus_dma_limit 0-u64max
HOST_DATA 0 dev->dev.coherent_dma_mask 0-u64max
HOST_DATA 0 dev->dev.devt 0-u32max
HOST_DATA 0 dev->dev.id 0-u32max
HOST_DATA 0 dev->dev.kobj.release.cpu s32min-s32max
HOST_DATA 0 dev->dev.kobj.release.timer.expires 0-u64max
HOST_DATA 0 dev->dev.kobj.release.timer.flags 0-u32max
HOST_DATA 0 dev->dev.kobj.release.work.data.counter s64min-s64max
HOST_DATA 0 dev->dev.kobj.uevent_suppress 0-1
HOST_DATA 0 dev->dev.mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 dev->dev.mutex.owner.counter s64min-s64max
HOST_DATA 0 dev->dev.power.accounting_timestamp 0-u64max
HOST_DATA 0 dev->dev.power.active_time 0-u64max
HOST_DATA 0 dev->dev.power.async_suspend 0-1
HOST_DATA 0 dev->dev.power.autosuspend_delay s32min-s32max
HOST_DATA 0 dev->dev.power.can_wakeup 0-1
HOST_DATA 0 dev->dev.power.detach_power_off 0-1
HOST_DATA 0 dev->dev.power.direct_complete 0-1
HOST_DATA 0 dev->dev.power.driver_flags 0-u32max
HOST_DATA 0 dev->dev.power.in_dpm_list 0-1
HOST_DATA 0 dev->dev.power.irq_safe 0-1
HOST_DATA 0 dev->dev.power.last_busy 0-u64max
HOST_DATA 0 dev->dev.power.links_count 0-u32max
HOST_DATA 0 dev->dev.power.may_skip_resume 0-1
HOST_DATA 0 dev->dev.power.memalloc_noio 0-1
HOST_DATA 0 dev->dev.power.must_resume 0-1
HOST_DATA 0 dev->dev.power.no_callbacks 0-1
HOST_DATA 0 dev->dev.power.no_pm 0-1
HOST_DATA 0 dev->dev.power.no_pm_callbacks 0-1
HOST_DATA 0 dev->dev.power.out_band_wakeup 0-1
HOST_DATA 0 dev->dev.power.power_state.event s32min-s32max
HOST_DATA 0 dev->dev.power.smart_suspend 0-1
HOST_DATA 0 dev->dev.power.strict_midlayer 0-1
HOST_DATA 0 dev->dev.power.suspended_time 0-u64max
HOST_DATA 0 dev->dev.power.syscore 0-1
HOST_DATA 0 dev->dev.power.timer_autosuspends 0-1
HOST_DATA 0 dev->dev.power.use_autosuspend 0-1
HOST_DATA 0 dev->dev.power.work_in_progress 0-1
HOST_DATA 0 dev->dev.removable 0-u32max
HOST_DATA 0 dev->failed 0-1
HOST_DATA 0 dev->features 0-u64max
HOST_DATA 0 dev->id.device 1-u32max
HOST_DATA 0 dev->id.vendor 0-u32max
HALF_LOCKED2 &rproc->lock

drivers/virtio/virtio.c register_virtio_device() -> virtio_add_status()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config 322963117447450624,7253729138368471040,8526350393422139392,9032641338183921664
PARAM_VALUE 0 dev->config->get_status 4096-ptr_max
PARAM_VALUE 0 dev->config->reset 4096-ptr_max
PARAM_VALUE 0 dev->config->set_status 4096-ptr_max
PARAM_VALUE 0 dev->config_change_pending 0
PARAM_VALUE 0 dev->config_core_enabled 0
PARAM_VALUE 0 dev->config_driver_disabled 0
PARAM_VALUE 0 dev->debugfs_dir 4096-u64max
PARAM_VALUE 0 dev->debugfs_dir->d_children.first 4096-ptr_max
PARAM_VALUE 0 dev->debugfs_dir->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dev->debugfs_dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 dev->debugfs_dir->d_inode->i_sb->s_export_op->encode_fh 0,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 dev->debugfs_dir->d_inode->i_sb->s_export_op->fh_to_dentry 0,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE 0 dev->debugfs_dir->d_inode->i_sb->s_export_op->fh_to_parent 0,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max
PARAM_VALUE 0 dev->debugfs_dir->d_inode->i_sb->s_export_op->get_parent 0,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 dev->debugfs_dir->d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 dev->debugfs_dir->d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 dev->debugfs_dir->d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 dev->debugfs_dir->d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 dev->debugfs_dir->d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 dev->debugfs_dir->d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 dev->debugfs_dir->d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 dev->debugfs_dir->d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 dev->debugfs_dir->d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 dev->debugfs_dir->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 dev->debugfs_dir->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 dev->debugfs_dir->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 dev->debugfs_dir->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 dev->debugfs_dir->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 dev->debugfs_dir->d_sb 4096-ptr_max
PARAM_VALUE 0 dev->debugfs_dir->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 dev->debugfs_dir->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 dev->debugfs_dir->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 dev->debugfs_dir->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 dev->debugfs_dir->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 dev->debugfs_dir->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 dev->debugfs_dir->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 dev->debugfs_dir->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 dev->debugfs_dir->d_sb->__s_d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 dev->debugfs_dir->d_sb->s_fs_info->s_bmap_bits 0-4294967295
PARAM_VALUE 0 dev->debugfs_dir->d_sb->s_fs_info->s_bmap_count 0-4294967295
PARAM_VALUE 0 dev->debugfs_dir->d_sb->s_fs_info->s_data_blksize 0-4294967295
PARAM_VALUE 0 dev->debugfs_dir->d_sb->s_fs_info->s_hashsize s32min-s32max
PARAM_VALUE 0 dev->debugfs_dir->d_sb->s_fs_info->s_last_bmap 0-4294967295
PARAM_VALUE 0 dev->debugfs_dir->d_sb->s_fs_info->s_mode 0-u16max
PARAM_VALUE 0 dev->debugfs_dir->d_sb->s_fs_info->s_partition_size s32min-s32max
PARAM_VALUE 0 dev->debugfs_dir->d_sb->s_fs_info->s_reserved s32min-s32max
PARAM_VALUE 0 dev->debugfs_dir->d_sb->s_fs_info->s_root_block 0-4294967295
PARAM_VALUE 0 dev->debugfs_dir->d_sb->s_fs_info->work_queued s32min-s32max
PARAM_VALUE 0 dev->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->dev->driver_data->fake_cis 0-255
PARAM_VALUE 0 dev->dev->driver_data->ops_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->dev->driver_data->skt_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->dev->kobj.parent->kset->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 dev->dev->kobj.parent->release.timer->entry->next->pprev 1-u64max
PARAM_VALUE 0 dev->dev->kobj.release.timer->entry->next->pprev 1-u64max
PARAM_VALUE 0 dev->dev->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 dev->dev->parent->kobj.release.timer->entry->next->pprev 1-u64max
PARAM_VALUE 0 dev->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->defpool.nareas 0-s32max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter 0,9007199250546704
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->pools.next 0
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->pools.prev 0,1473117533515866408
PARAM_VALUE 0 dev->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_ops->alloc 0,1744715142275031040,2065280936184246272,2938795245442469888
PARAM_VALUE 0 dev->dev.dma_ops->alloc_pages_op 0,4686288359180861440,6350905364812603392,6978773206971854848
PARAM_VALUE 0 dev->dev.dma_ops->cache_sync 0
PARAM_VALUE 0 dev->dev.dma_ops->dma_supported 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888
PARAM_VALUE 0 dev->dev.dma_ops->free 0,4778164490434129920,7144974343242604544,7861694134817480704
PARAM_VALUE 0 dev->dev.dma_ops->free_pages 0,239457316199952384,5196233516945883136,7413093576918179840
PARAM_VALUE 0 dev->dev.dma_ops->get_merge_boundary 0
PARAM_VALUE 0 dev->dev.dma_ops->get_required_mask 0,7770840938859397120
PARAM_VALUE 0 dev->dev.dma_ops->get_sgtable 0,1322759480623644672
PARAM_VALUE 0 dev->dev.dma_ops->map_phys 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696
PARAM_VALUE 0 dev->dev.dma_ops->map_sg 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488
PARAM_VALUE 0 dev->dev.dma_ops->max_mapping_size 0,8830639662091943936
PARAM_VALUE 0 dev->dev.dma_ops->mmap 0,5761417605877342208,7694740394750603264
PARAM_VALUE 0 dev->dev.dma_ops->opt_mapping_size 0
PARAM_VALUE 0 dev->dev.dma_ops->sync_sg_for_cpu 0,4862850025765572608
PARAM_VALUE 0 dev->dev.dma_ops->sync_sg_for_device 0,3732476178258022400
PARAM_VALUE 0 dev->dev.dma_ops->sync_single_for_cpu 0,1155325867376779264
PARAM_VALUE 0 dev->dev.dma_ops->sync_single_for_device 0,8781567156597239808
PARAM_VALUE 0 dev->dev.dma_ops->unmap_phys 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048
PARAM_VALUE 0 dev->dev.dma_ops->unmap_sg 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440
PARAM_VALUE 0 dev->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.driver_data->battery_dev->dev.p->dead 1
PARAM_VALUE 0 dev->dev.driver_data->battery_dev->dev.power.in_dpm_list 0-1
PARAM_VALUE 0 dev->dev.driver_data->battery_dev->id (-2)
PARAM_VALUE 0 dev->dev.driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 dev->dev.driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 dev->dev.driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 dev->dev.driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 dev->dev.driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 dev->dev.driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 dev->dev.driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 dev->dev.driver_data->cdev 0
PARAM_VALUE 0 dev->dev.driver_data->cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->dev.driver_data->cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->dev.driver_data->cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->dev.driver_data->cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->dev.driver_data->cis_mem.card_start 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 dev->dev.driver_data->cis_mem.res 0
PARAM_VALUE 0 dev->dev.driver_data->cis_virt 0
PARAM_VALUE 0 dev->dev.driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.work.is_hard 0-1
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.work.is_queued 0-1
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.work.is_soft 0-1
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->device_count 0-1
PARAM_VALUE 0 dev->dev.driver_data->functions 0-u16max
PARAM_VALUE 0 dev->dev.driver_data->ops_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->ops_mutex.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->ops_mutex.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->dev.driver_data->ops_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 dev->dev.driver_data->ops_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->pcmcia_pfc 0-255
PARAM_VALUE 0 dev->dev.driver_data->present.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->resource_setup_done 0-255
PARAM_VALUE 0 dev->dev.driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->skt_mutex.first_waiter->list.next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->skt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->skt_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->dev.driver_data->skt_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 dev->dev.driver_data->skt_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->skt_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->state 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->touch_dev->dev.p->dead 1
PARAM_VALUE 0 dev->dev.driver_data->touch_dev->dev.power.in_dpm_list 0-1
PARAM_VALUE 0 dev->dev.driver_data->touch_dev->id (-2)
PARAM_VALUE 0 dev->dev.flags 4096-ptr_max
PARAM_VALUE 0 dev->dev.fwnode->dev 0
PARAM_VALUE 0 dev->dev.fwnode->secondary 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.init_name 0
PARAM_VALUE 0 dev->dev.iommu_group->mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->dev.iommu_group->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 dev->dev.kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.parent->kset->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->dev.kobj.parent->kset->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->dev.kobj.parent->kset->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->dev.kobj.parent->kset->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->dev.kobj.parent->kset->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.parent->release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.parent->release.timer.is_hard 0-1
PARAM_VALUE 0 dev->dev.kobj.parent->release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->dev.kobj.parent->release.timer.is_queued 0-1
PARAM_VALUE 0 dev->dev.kobj.parent->release.timer.is_soft 0-1
PARAM_VALUE 0 dev->dev.kobj.parent->release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.parent->sd 0
PARAM_VALUE 0 dev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.kobj.parent->state_in_sysfs 0
PARAM_VALUE 0 dev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 dev->dev.kobj.release.work.is_hard 0-1
PARAM_VALUE 0 dev->dev.kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 dev->dev.kobj.release.work.is_queued 0-1
PARAM_VALUE 0 dev->dev.kobj.release.work.is_soft 0-1
PARAM_VALUE 0 dev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dev->dev.kobj.sd 0
PARAM_VALUE 0 dev->dev.kobj.sd->__parent 0
PARAM_VALUE 0 dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.kobj.sd->dir.children.rb_node 0
PARAM_VALUE 0 dev->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.p 0
PARAM_VALUE 0 dev->dev.parent->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->dev.parent->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->dev.parent->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->dev.parent->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->dev.parent->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 dev->dev.parent->kobj.release.work.is_hard 0-1
PARAM_VALUE 0 dev->dev.parent->kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 dev->dev.parent->kobj.release.work.is_queued 0-1
PARAM_VALUE 0 dev->dev.parent->kobj.release.work.is_soft 0-1
PARAM_VALUE 0 dev->dev.physical_location 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.pm_domain 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.power.completion.done u32max
PARAM_VALUE 0 dev->dev.power.driver_flags 0
PARAM_VALUE 0 dev->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.in_dpm_list 0
PARAM_VALUE 0 dev->dev.power.irq_safe 0
PARAM_VALUE 0 dev->dev.power.qos->flags_req 0
PARAM_VALUE 0 dev->dev.power.subsys_data 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.power.subsys_data->domain_data 0
PARAM_VALUE 0 dev->dev.power.use_autosuspend 0
PARAM_VALUE 0 dev->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->index 0-s32max
PARAM_VALUE 0 dev->vqs.next 4096-ptr_max
PARAM_VALUE 0 dev->vqs.next->next 4096-ptr_max
PARAM_VALUE 0 dev->vqs.prev 4096-ptr_max
PARAM_VALUE 0 dev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->vqs.prev->prev 4096-ptr_max
PARAM_VALUE 0 *dev->debugfs_dir->d_children.first->pprev 1-u64max
PARAM_VALUE 1 status 128
BUF_SIZE 0 dev (-1),1872
BUF_SIZE 0 dev (-1),1872
BUF_SIZE 0 dev->config (-1),144
BUF_SIZE 0 dev->dev.bus (-1),168
BUF_SIZE 0 dev->dev.parent (-1),1616
CAPPED_DATA 0 &dev->dev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->config_change_pending 0
HOST_DATA 0 dev->config_core_enabled 0
HOST_DATA 0 dev->config_driver_disabled 0
HOST_DATA 0 dev->dev.bus_dma_limit 0-u64max
HOST_DATA 0 dev->dev.coherent_dma_mask 0-u64max
HOST_DATA 0 dev->dev.devt 0-u32max
HOST_DATA 0 dev->dev.id 0-u32max
HOST_DATA 0 dev->dev.kobj.release.cpu s32min-s32max
HOST_DATA 0 dev->dev.kobj.release.timer.expires 0-u64max
HOST_DATA 0 dev->dev.kobj.release.timer.flags 0-u32max
HOST_DATA 0 dev->dev.kobj.release.work.data.counter s64min-s64max
HOST_DATA 0 dev->dev.kobj.uevent_suppress 0-1
HOST_DATA 0 dev->dev.mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 dev->dev.mutex.owner.counter s64min-s64max
HOST_DATA 0 dev->dev.power.accounting_timestamp 0-u64max
HOST_DATA 0 dev->dev.power.active_time 0-u64max
HOST_DATA 0 dev->dev.power.async_suspend 0-1
HOST_DATA 0 dev->dev.power.autosuspend_delay s32min-s32max
HOST_DATA 0 dev->dev.power.can_wakeup 0-1
HOST_DATA 0 dev->dev.power.detach_power_off 0-1
HOST_DATA 0 dev->dev.power.direct_complete 0-1
HOST_DATA 0 dev->dev.power.driver_flags 0
HOST_DATA 0 dev->dev.power.in_dpm_list 0
HOST_DATA 0 dev->dev.power.irq_safe 0
HOST_DATA 0 dev->dev.power.last_busy 0-u64max
HOST_DATA 0 dev->dev.power.links_count 0-u32max
HOST_DATA 0 dev->dev.power.may_skip_resume 0-1
HOST_DATA 0 dev->dev.power.memalloc_noio 0-1
HOST_DATA 0 dev->dev.power.must_resume 0-1
HOST_DATA 0 dev->dev.power.no_callbacks 0-1
HOST_DATA 0 dev->dev.power.no_pm 0-1
HOST_DATA 0 dev->dev.power.no_pm_callbacks 0-1
HOST_DATA 0 dev->dev.power.out_band_wakeup 0-1
HOST_DATA 0 dev->dev.power.power_state.event s32min-s32max
HOST_DATA 0 dev->dev.power.smart_suspend 0-1
HOST_DATA 0 dev->dev.power.strict_midlayer 0-1
HOST_DATA 0 dev->dev.power.suspended_time 0-u64max
HOST_DATA 0 dev->dev.power.syscore 0-1
HOST_DATA 0 dev->dev.power.timer_autosuspends 0-1
HOST_DATA 0 dev->dev.power.use_autosuspend 0
HOST_DATA 0 dev->dev.power.work_in_progress 0-1
HOST_DATA 0 dev->dev.removable 0-u32max
HOST_DATA 0 dev->failed 0-1
HOST_DATA 0 dev->features 0-u64max
HOST_DATA 0 dev->id.device 1-u32max
HOST_DATA 0 dev->id.vendor 0-u32max
HOST_DATA 0 dev->index 0-s32max
HALF_LOCKED2 &rproc->lock

drivers/virtio/virtio.c virtio_dev_probe() -> virtio_add_status()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 status 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio.c virtio_dev_probe() -> virtio_add_status()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config 4096-ptr_max
PARAM_VALUE 0 dev->config->get 0,4096-ptr_max
PARAM_VALUE 0 dev->config->get_extended_features 0,6730071979336241152
PARAM_VALUE 0 dev->config->get_status 4096-ptr_max
PARAM_VALUE 0 dev->config->set_status 4096-ptr_max
PARAM_VALUE 0 dev->debugfs_filter_features 4096-ptr_max
PARAM_VALUE 0 dev->features_array 4096-ptr_max
PARAM_VALUE 1 status 128
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio.c virtio_dev_remove() -> virtio_add_status()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config 4096-ptr_max
PARAM_VALUE 0 dev->config_core_enabled 0
PARAM_VALUE 0 dev->config_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 status 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_d->mutex

drivers/virtio/virtio.c virtio_device_restore_priv() -> virtio_add_status()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config 4096-ptr_max
PARAM_VALUE 0 dev->config->reset 4096-ptr_max
PARAM_VALUE 1 status 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio.c virtio_device_restore_priv() -> virtio_add_status()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config 4096-ptr_max
PARAM_VALUE 0 dev->config->get_status 4096-ptr_max
PARAM_VALUE 0 dev->config->reset 4096-ptr_max
PARAM_VALUE 0 dev->config->set_status 4096-ptr_max
PARAM_VALUE 0 dev->failed 1
PARAM_VALUE 1 status 128
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio.c virtio_device_restore_priv() -> virtio_add_status()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config 4096-ptr_max
PARAM_VALUE 0 dev->config->get_status 4096-ptr_max
PARAM_VALUE 0 dev->config->reset 4096-ptr_max
PARAM_VALUE 0 dev->config->set_status 4096-ptr_max
PARAM_VALUE 1 status 2
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio.c virtio_device_restore_priv() -> virtio_add_status()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config 4096-ptr_max
PARAM_VALUE 0 dev->config->get_status 4096-ptr_max
PARAM_VALUE 0 dev->config->reset 4096-ptr_max
PARAM_VALUE 0 dev->config->set_status 4096-ptr_max
PARAM_VALUE 1 status 128
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->priv->num_vqs

drivers/virtio/virtio.c virtio_features_ok() -> virtio_add_status()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config 4096-ptr_max
PARAM_VALUE 0 dev->config->get 0,4096-ptr_max
PARAM_VALUE 0 dev->config->get_extended_features 0,6730071979336241152
PARAM_VALUE 0 dev->config->get_status 4096-ptr_max
PARAM_VALUE 0 dev->config->reset 4096-ptr_max
PARAM_VALUE 0 dev->config->set_status 4096-ptr_max
PARAM_VALUE 1 status 8
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL