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