Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio_pci_common.c virtio_pci_probe() -> virtio_pci_modern_probe()

Type Parameter Key Value
PARAM_VALUE 0 vp_dev 4096-ptr_max
PARAM_VALUE 0 vp_dev->ldev.ioaddr 0,4096-ptr_max
PARAM_VALUE 0 vp_dev->ldev.pci_dev 4096-ptr_max
PARAM_VALUE 0 vp_dev->ldev.pci_dev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vp_dev->ldev.pci_dev->driver 4096-ptr_max
PARAM_VALUE 0 vp_dev->pci_dev 4096-ptr_max
PARAM_VALUE 0 vp_dev->pci_dev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vp_dev->pci_dev->driver 4096-ptr_max
PARAM_VALUE 0 vp_dev->slow_virtqueues.next 4096-ptr_max
PARAM_VALUE 0 vp_dev->slow_virtqueues.next->next 4096-ptr_max
PARAM_VALUE 0 vp_dev->slow_virtqueues.prev 4096-ptr_max
PARAM_VALUE 0 vp_dev->slow_virtqueues.prev->next 4096-ptr_max
PARAM_VALUE 0 vp_dev->slow_virtqueues.prev->prev 4096-ptr_max
PARAM_VALUE 0 vp_dev->vdev.config->bus_name 0,1448379696030904320,2014763490183491584,5495305336745439232
PARAM_VALUE 0 vp_dev->vdev.config->del_vqs 3457662646198779904,4540088415867748352,5024372139014213632,9123018950478393344
PARAM_VALUE 0 vp_dev->vdev.config->disable_vq_and_reset 0,5447012210597466112
PARAM_VALUE 0 vp_dev->vdev.config->enable_vq_after_reset 0,4977138098911907840
PARAM_VALUE 0 vp_dev->vdev.config->finalize_features 1924874777872367616,2641583839233454080,3114883893362515968,3966677430932905984,7692792901073801216
PARAM_VALUE 0 vp_dev->vdev.config->find_vqs 68971830274838528,1030199202335789056,2038393992433975296,3279937707115442176,7484958857947684864
PARAM_VALUE 0 vp_dev->vdev.config->generation 0,1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vp_dev->vdev.config->get 0,358061320328622080,6500970494416850944,8025957840625967104,8389438907370876928,9078089697165746176
PARAM_VALUE 0 vp_dev->vdev.config->get_extended_features 0,6730071979336241152
PARAM_VALUE 0 vp_dev->vdev.config->get_features 0,453658191901122560,5645064956345942016,6490609151809302528,8732924083426197504
PARAM_VALUE 0 vp_dev->vdev.config->get_shm_region 0,2525218589895086080,3831783894439149568
PARAM_VALUE 0 vp_dev->vdev.config->get_status 1802846564400689152,3168849173244112896,4601054055314321408,7136778410778906624,9134390212214849536
PARAM_VALUE 0 vp_dev->vdev.config->get_vq_affinity 0,7674558141002498048,9197244007554555904
PARAM_VALUE 0 vp_dev->vdev.config->reset 475554656170876928,1329288686326718464,4486521756306911232,8034620305933623296,8649740220046905344
PARAM_VALUE 0 vp_dev->vdev.config->set 0,36756564534964224,73163299500822528,4041982820571025408,6094903875665051648,8327437309992046592
PARAM_VALUE 0 vp_dev->vdev.config->set_status 2961072788404494336,3031756978560847872,4869441454431449088,5296974396034592768,7022321699970433024
PARAM_VALUE 0 vp_dev->vdev.config->set_vq_affinity 0,2837014290400043008,5734706217837015040
PARAM_VALUE 0 vp_dev->vdev.config->synchronize_cbs 0,4056797164459786240,8144573449649369088
PARAM_VALUE 0 vp_dev->vdev.dev.parent 4096-ptr_max
PARAM_VALUE 0 vp_dev->vdev.dev.parent->driver_data 4096-ptr_max
PARAM_VALUE 0 vp_dev->vdev.dev.release 3162814718940299264
PARAM_VALUE 0 vp_dev->virtqueues.next 4096-ptr_max
PARAM_VALUE 0 vp_dev->virtqueues.next->next 4096-ptr_max
PARAM_VALUE 0 vp_dev->virtqueues.prev 4096-ptr_max
PARAM_VALUE 0 vp_dev->virtqueues.prev->next 4096-ptr_max
PARAM_VALUE 0 vp_dev->virtqueues.prev->prev 4096-ptr_max
BUF_SIZE 0 vp_dev 2400
BUF_SIZE 0 vp_dev->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 vp_dev->vdev.dev.parent 1616
DATA_SOURCE 0 vp_dev r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vp_dev->ldev.pci_dev->current_state 0-3[c]
HOST_DATA 0 vp_dev->pci_dev->current_state 0-3[c]

drivers/virtio/virtio_pci_common.c virtio_pci_probe() -> virtio_pci_modern_probe()

Type Parameter Key Value
PARAM_VALUE 0 vp_dev 4096-ptr_max
PARAM_VALUE 0 vp_dev->pci_dev 4096-ptr_max
PARAM_VALUE 0 vp_dev->pci_dev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vp_dev->pci_dev->driver 4096-ptr_max
PARAM_VALUE 0 vp_dev->slow_virtqueues.next 4096-ptr_max
PARAM_VALUE 0 vp_dev->slow_virtqueues.next->next 4096-ptr_max
PARAM_VALUE 0 vp_dev->slow_virtqueues.prev 4096-ptr_max
PARAM_VALUE 0 vp_dev->slow_virtqueues.prev->next 4096-ptr_max
PARAM_VALUE 0 vp_dev->slow_virtqueues.prev->prev 4096-ptr_max
PARAM_VALUE 0 vp_dev->vdev.dev.parent 4096-ptr_max
PARAM_VALUE 0 vp_dev->vdev.dev.parent->driver_data 4096-ptr_max
PARAM_VALUE 0 vp_dev->vdev.dev.release 3162814718940299264
PARAM_VALUE 0 vp_dev->virtqueues.next 4096-ptr_max
PARAM_VALUE 0 vp_dev->virtqueues.next->next 4096-ptr_max
PARAM_VALUE 0 vp_dev->virtqueues.prev 4096-ptr_max
PARAM_VALUE 0 vp_dev->virtqueues.prev->next 4096-ptr_max
PARAM_VALUE 0 vp_dev->virtqueues.prev->prev 4096-ptr_max
BUF_SIZE 0 vp_dev 2400
BUF_SIZE 0 vp_dev->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 vp_dev->vdev.dev.parent 1616
DATA_SOURCE 0 vp_dev r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vp_dev->pci_dev->current_state 0-3[c]