Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/vdpa/virtio_pci/vp_vdpa.c vp_vdpa_set_vq_ready() -> vp_modern_set_queue_enable()

Type Parameter Key Value
DATA_SOURCE 0 mdev r vdpa_to_mdev
DATA_SOURCE 1 index $1
DATA_SOURCE 2 enable $2
NOSPEC 1 index
NOSPEC 1 index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 index 0-u16max[c]
USER_DATA 2 enable 0-1
HALF_LOCKED2 &d->mutex

drivers/virtio/virtio_pci_modern.c vp_modern_enable_vq_after_reset() -> vp_modern_set_queue_enable()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 2 enable 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 index unit_array_size

drivers/virtio/virtio_pci_modern.c vp_modern_find_vqs() -> vp_modern_set_queue_enable()

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