Symbol: PCI_PRODUCT_VIRTIO_VMMCI
sys/dev/pv/vmmci.c
82
if (va->va_devid == PCI_PRODUCT_VIRTIO_VMMCI)
usr.sbin/vmd/virtio.c
1188
PCI_VENDOR_OPENBSD, PCI_PRODUCT_VIRTIO_VMMCI, 0, 1, NULL)) {
usr.sbin/vmd/virtio.c
691
case PCI_PRODUCT_VIRTIO_VMMCI:
usr.sbin/vmd/virtio.c
719
if (dev->device_id != PCI_PRODUCT_VIRTIO_VMMCI)
usr.sbin/vmd/virtio.c
790
if (dev->device_id != PCI_PRODUCT_VIRTIO_VMMCI)
usr.sbin/vmd/virtio.c
842
if (dev->device_id != PCI_PRODUCT_VIRTIO_VMMCI)
usr.sbin/vmd/virtio.c
857
if (dev->device_id != PCI_PRODUCT_VIRTIO_VMMCI)