Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/virtio/virtio_pci_legacy.c del_vq() -> vp_legacy_set_queue_address()

Type Parameter Key Value
PARAM_VALUE 0 ldev 4096-ptr_max
PARAM_VALUE 2 queue_pfn 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 index unit_array_size
HALF_LOCKED2 global &the_virtio_vsock_mutex

drivers/virtio/virtio_pci_legacy.c setup_vq() -> vp_legacy_set_queue_address()

Type Parameter Key Value
PARAM_VALUE 0 ldev 4096-ptr_max
PARAM_VALUE 0 ldev->ioaddr 4096-ptr_max
DATA_SOURCE 1 index $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 index 0-u16max
HALF_LOCKED2 global &the_virtio_vsock_mutex

drivers/virtio/virtio_pci_legacy.c setup_vq() -> vp_legacy_set_queue_address()

Type Parameter Key Value
PARAM_VALUE 0 ldev 4096-ptr_max
PARAM_VALUE 0 ldev->ioaddr 4096-ptr_max
PARAM_VALUE 2 queue_pfn 0
DATA_SOURCE 1 index $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 index 0-u16max
HALF_LOCKED2 global &the_virtio_vsock_mutex

drivers/vdpa/alibaba/eni_vdpa.c eni_vdpa_set_vq_address() -> vp_legacy_set_queue_address()

Type Parameter Key Value
PARAM_VALUE 0 ldev 4096-ptr_max
BUF_SIZE 0 ldev 32
CAPPED_DATA 1 index 1
DATA_SOURCE 0 ldev r vdpa_to_ldev
DATA_SOURCE 1 index $1
NOSPEC 1 index
NOSPEC 1 index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 index 0-u16max[c]
HALF_LOCKED2 &d->mutex

drivers/vdpa/alibaba/eni_vdpa.c eni_vdpa_set_vq_ready() -> vp_legacy_set_queue_address()

Type Parameter Key Value
PARAM_VALUE 0 ldev 4096-ptr_max
PARAM_VALUE 2 queue_pfn 0
BUF_SIZE 0 ldev 32
DATA_SOURCE 0 ldev r vdpa_to_ldev
DATA_SOURCE 1 index $1
NOSPEC 1 index
NOSPEC 1 index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 index 0-u16max[c]
HALF_LOCKED2 &d->mutex