VIRTIO_INITLEVEL_INT_ADDED
vio->vio_initlevel |= VIRTIO_INITLEVEL_INT_ADDED;
if (vio->vio_initlevel & VIRTIO_INITLEVEL_INT_ADDED) {
vio->vio_initlevel &= ~VIRTIO_INITLEVEL_INT_ADDED;
VERIFY(!(vio->vio_initlevel & VIRTIO_INITLEVEL_INT_ADDED));
VERIFY(vio->vio_initlevel & VIRTIO_INITLEVEL_INT_ADDED);
VERIFY(!(vio->vio_initlevel & VIRTIO_INITLEVEL_INT_ADDED));