PCI_PRODUCT_VIRTIO_ENTROPY
if (va->va_devid == PCI_PRODUCT_VIRTIO_ENTROPY)
PCI_PRODUCT_VIRTIO_ENTROPY, 1, 1, NULL)) {
if (dev->device_id != PCI_PRODUCT_VIRTIO_ENTROPY)
case PCI_PRODUCT_VIRTIO_ENTROPY: