Symbol: VIRTIO_MMIO_DEVICE_ID
sys/dev/virtio/mmio/virtio_mmio.c
186
if (vtmmio_read_config_4(sc, VIRTIO_MMIO_DEVICE_ID) == 0) {
sys/dev/virtio/mmio/virtio_mmio.c
343
*result = vtmmio_read_config_4(sc, VIRTIO_MMIO_DEVICE_ID);