Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/virtio/virtio_pci_common.c vp_del_vqs() -> vp_is_slow_path_vector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &_d->mutex | ||
| HALF_LOCKED2 | &vblk->vdev_mutex | ||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_pci_common.c vp_find_one_vq_msix() -> vp_is_slow_path_vector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msix_vec | 0-65534 |
| FUZZY_MAX | 0 | msix_vec | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_pci_common.c vp_get_vq_affinity() -> vp_is_slow_path_vector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/virtio/virtio_pci_common.c vp_setup_vq() -> vp_is_slow_path_vector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | msix_vec | $5 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &vp_dev->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex | ||
| TYPE_LOCK | (struct virtio_pci_device)->lock |