VIRTIO_THREAD_PAUSE
vm_pipe_send(&pipe_rx, VIRTIO_THREAD_PAUSE);
vm_pipe_send(&pipe_tx, VIRTIO_THREAD_PAUSE);
case VIRTIO_THREAD_PAUSE:
case VIRTIO_THREAD_PAUSE:
vm_pipe_send(&pipe_rx, VIRTIO_THREAD_PAUSE);