PCI_PRODUCT_VIRTIO_SCSI
if (va->va_devid == PCI_PRODUCT_VIRTIO_SCSI)
bootidx = pci_find_first_device(PCI_PRODUCT_VIRTIO_SCSI);
if (dev->device_id != PCI_PRODUCT_VIRTIO_SCSI)
if (dev->device_id != PCI_PRODUCT_VIRTIO_SCSI)
if (dev->device_id != PCI_PRODUCT_VIRTIO_SCSI)
if (dev->device_id != PCI_PRODUCT_VIRTIO_SCSI)
if (dev->device_id != PCI_PRODUCT_VIRTIO_SCSI)
if (dev->device_id != PCI_PRODUCT_VIRTIO_SCSI)
if (dev->device_id != PCI_PRODUCT_VIRTIO_SCSI)
if (dev->device_id != PCI_PRODUCT_VIRTIO_SCSI)
if (dev->device_id != PCI_PRODUCT_VIRTIO_SCSI)
if (dev->device_id != PCI_PRODUCT_VIRTIO_SCSI)
PCI_PRODUCT_VIRTIO_SCSI, 1, 1, NULL)) {
dev->device_id == PCI_PRODUCT_VIRTIO_SCSI)
dev->device_id == PCI_PRODUCT_VIRTIO_SCSI)