VIRTIO_MMIO_DEVICE_FEATURES
device_features = virtio_mmio_reg_read(sc, VIRTIO_MMIO_DEVICE_FEATURES);
virtio_mmio_reg_read(sc, VIRTIO_MMIO_DEVICE_FEATURES) << 32;