VIRTIO_MMIO_DEVICE_ID
if (vtmmio_read_config_4(sc, VIRTIO_MMIO_DEVICE_ID) == 0) {
*result = vtmmio_read_config_4(sc, VIRTIO_MMIO_DEVICE_ID);