Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/9p/trans_virtio.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | fbit | 0 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_pci_common.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->bus_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->del_vqs | 3457662646198779904,4540088415867748352,5024372139014213632,9123018950478393344 |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | (-1),112,200,336,368,448,576,816,928,2352,4520-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->failed | 0-1 |
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_ring.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | (-1),4,112,168,192,336,576,928,2080,4520-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/can/virtio_can.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->del_vqs | 3457662646198779904,4540088415867748352,5024372139014213632,9123018950478393344 |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 475554656170876928,1329288686326718464,4486521756306911232,8034620305933623296,8649740220046905344 |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 0-2 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| HARD_MAX | 1 | fbit | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | vdev->priv->num_vqs |
drivers/iommu/virtio-iommu.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 0-2,4-6 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| HARD_MAX | 1 | fbit | 6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &group->mutex |
drivers/nvdimm/virtio_pmem.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 0 |
| BUF_SIZE | 0 | vdev->priv | (-1),392 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_mem.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,358061320328622080,6500970494416850944,8025957840625967104,8389438907370876928,9078089697165746176 |
| PARAM_VALUE | 1 | fbit | 0,2 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| HARD_MAX | 1 | fbit | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/firmware/arm_scmi/transports/virtio.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 0 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_pci_admin_legacy_io.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 1-ptr_max |
| BUF_SIZE | 0 | vdev | 1872 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/gpio/gpio-virtio.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 0 |
| BUF_SIZE | 0 | vdev->priv | 928 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/scsi/virtio_scsi.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 3 |
| BUF_SIZE | 0 | vdev->priv | (-1),4600-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/virtio/virtgpu_vq.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &(plane->dev)->mode_config.panic_lock | ||
| HALF_LOCKED2 | flags |
drivers/virtio/virtio_rtc_driver.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 0 |
| BUF_SIZE | 0 | vdev->priv | (-1),200 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/vmw_vsock/virtio_transport.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &the_virtio_vsock_mutex |
drivers/crypto/virtio/virtio_crypto_core.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_balloon.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 1-5 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| HARD_MAX | 1 | fbit | 5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex | ||
| HALF_LOCKED2 | &vb->stop_update_lock | ||
| HALF_LOCKED2 | flags |
drivers/bluetooth/virtio_bt.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | fbit | 0-3 |
| BUF_SIZE | 0 | vdev->priv | 112 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| HARD_MAX | 1 | fbit | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_pci_modern.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | vdev->debugfs_dir->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | vdev->dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | vdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | vdev->dev.parent->cma_area->nranges | s32min-s32max |
| BUF_SIZE | 0 | vdev | (-1),1872 |
| BUF_SIZE | 0 | vdev | (-1),1872 |
| BUF_SIZE | 0 | vdev->config | (-1),144 |
| BUF_SIZE | 0 | vdev->dev.bus | (-1),168 |
| BUF_SIZE | 0 | vdev->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | vdev->priv | (-1),112,200,280,336,368,376-752,816,928,2352,4520-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->config_change_pending | 0 |
| HOST_DATA | 0 | vdev->config_core_enabled | 0 |
| HOST_DATA | 0 | vdev->config_driver_disabled | 0 |
| HOST_DATA | 0 | vdev->dev.bus_dma_limit | 0-u64max |
| HOST_DATA | 0 | vdev->dev.coherent_dma_mask | 0-u64max |
| HOST_DATA | 0 | vdev->dev.devt | 0-u32max |
| HOST_DATA | 0 | vdev->dev.id | 0-u32max |
| HOST_DATA | 0 | vdev->dev.kobj.release.cpu | s32min-s32max |
| HOST_DATA | 0 | vdev->dev.kobj.release.timer.expires | 0-u64max |
| HOST_DATA | 0 | vdev->dev.kobj.release.timer.flags | 0-u32max |
| HOST_DATA | 0 | vdev->dev.kobj.release.work.data.counter | s64min-s64max |
| HOST_DATA | 0 | vdev->dev.kobj.uevent_suppress | 0-1 |
| HOST_DATA | 0 | vdev->dev.mutex.osq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | vdev->dev.mutex.owner.counter | s64min-s64max |
| HOST_DATA | 0 | vdev->dev.power.accounting_timestamp | 0-u64max |
| HOST_DATA | 0 | vdev->dev.power.active_time | 0-u64max |
| HOST_DATA | 0 | vdev->dev.power.async_suspend | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.autosuspend_delay | s32min-s32max |
| HOST_DATA | 0 | vdev->dev.power.can_wakeup | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.detach_power_off | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.direct_complete | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.driver_flags | 0-u32max |
| HOST_DATA | 0 | vdev->dev.power.in_dpm_list | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.irq_safe | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.last_busy | 0-u64max |
| HOST_DATA | 0 | vdev->dev.power.links_count | 0-u32max |
| HOST_DATA | 0 | vdev->dev.power.may_skip_resume | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.memalloc_noio | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.must_resume | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.no_callbacks | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.no_pm | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.no_pm_callbacks | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.out_band_wakeup | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.power_state.event | s32min-s32max |
| HOST_DATA | 0 | vdev->dev.power.smart_suspend | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.strict_midlayer | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.suspended_time | 0-u64max |
| HOST_DATA | 0 | vdev->dev.power.syscore | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.timer_autosuspends | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.use_autosuspend | 0-1 |
| HOST_DATA | 0 | vdev->dev.power.work_in_progress | 0-1 |
| HOST_DATA | 0 | vdev->dev.removable | 0-u32max |
| HOST_DATA | 0 | vdev->failed | 0-1 |
| HOST_DATA | 0 | vdev->features | 0-u64max |
| HOST_DATA | 0 | vdev->id.device | 1-u32max |
| HOST_DATA | 0 | vdev->id.vendor | 0-u32max |
| HOST_DATA | 0 | vdev->index | 0-s32max |
| NO_OVERFLOW_SIMPLE | 0 | vdev->priv->num_vqs |
drivers/gpu/drm/virtio/virtgpu_kms.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,358061320328622080,6500970494416850944,8025957840625967104,8389438907370876928,9078089697165746176 |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | vdev->config->get_status | 1802846564400689152,3168849173244112896,4601054055314321408,7136778410778906624,9134390212214849536 |
| PARAM_VALUE | 0 | vdev->config->set_status | 2961072788404494336,3031756978560847872,4869441454431449088,5296974396034592768,7022321699970433024 |
| PARAM_VALUE | 0 | vdev->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 0-5 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| HARD_MAX | 1 | fbit | 5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/char/virtio_console.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 0-1 |
| BUF_SIZE | 0 | vdev->priv | (-1),472 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| HARD_MAX | 1 | fbit | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/rpmsg/virtio_rpmsg_bus.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | fbit | 0 |
| BUF_SIZE | 0 | vdev->priv | (-1),552 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
sound/virtio/virtio_card.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,358061320328622080,6500970494416850944,8025957840625967104,8389438907370876928,9078089697165746176 |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 1802846564400689152,3168849173244112896,4601054055314321408,7136778410778906624,9134390212214849536 |
| PARAM_VALUE | 0 | vdev->config->set_status | 2961072788404494336,3031756978560847872,4869441454431449088,5296974396034592768,7022321699970433024 |
| PARAM_VALUE | 0 | vdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.parent->bus | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 0 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/block/virtio_blk.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 1-2,4-6,9-14,16-17 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| HARD_MAX | 1 | fbit | 17 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &vblk->vdev_mutex |
drivers/gpu/drm/virtio/virtgpu_object.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vgdev->obj_restore_lock |
drivers/virtio/virtio.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/i2c/busses/i2c-virtio.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 0 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_vdpa.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | vdev->priv | (-1),112,336,576,928,4520-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/net/virtio_net.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 1 | fbit | 0-27 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| STR_LEN | 0 | vdev | (-1),15-16,20,22,24-27 |
| STR_LEN | 0 | vdev | (-1),15-16,20,22,24-27 |
| STR_LEN | 1 | fbit | (-1),20 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/spi/spi-virtio.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_input.c virtio_has_feature() -> virtio_check_driver_offered_feature()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | fbit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |