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