virtio_set_status
virtio_set_status(vsc, VIRTIO_CONFIG_DEVICE_STATUS_FAILED);
virtio_set_status(vsc, VIRTIO_CONFIG_DEVICE_STATUS_ACK);
virtio_set_status(vsc, VIRTIO_CONFIG_DEVICE_STATUS_DRIVER);
virtio_set_status(vsc, VIRTIO_CONFIG_DEVICE_STATUS_FAILED);
virtio_set_status(sc, VIRTIO_CONFIG_DEVICE_STATUS_DRIVER_OK);
virtio_set_status(sc, VIRTIO_CONFIG_DEVICE_STATUS_ACK);
virtio_set_status(sc, VIRTIO_CONFIG_DEVICE_STATUS_DRIVER);
virtio_set_status(sc, VIRTIO_CONFIG_DEVICE_STATUS_DRIVER_OK);
#define virtio_device_reset(sc) virtio_set_status((sc), 0)