vm_pipe_send
vm_pipe_send(&dev_pipe, sel);
vm_pipe_send(&dev_pipe, MC146818_RESCHEDULE_PER);
vm_pipe_send(&dev_pipe, MC146818_RESCHEDULE_PER);
vm_pipe_send(&dev_pipe, NS8250_RATELIMIT);
vm_pipe_send(&pipe_rx, VIRTIO_THREAD_PAUSE);
vm_pipe_send(&pipe_tx, VIRTIO_THREAD_PAUSE);
vm_pipe_send(&pipe_main, VIRTIO_THREAD_ACK);
vm_pipe_send(&pipe_main, VIRTIO_THREAD_ACK);
vm_pipe_send(&pipe_main, VIRTIO_RAISE_IRQ);
vm_pipe_send(&pipe_rx, VIRTIO_THREAD_STOP);
vm_pipe_send(&pipe_tx, VIRTIO_THREAD_STOP);
vm_pipe_send(&pipe_main, VIRTIO_RAISE_IRQ);
vm_pipe_send(&pipe_rx, VIRTIO_NOTIFY);
vm_pipe_send(&pipe_tx, VIRTIO_NOTIFY);
vm_pipe_send(&pipe_rx, VIRTIO_THREAD_PAUSE);
vm_pipe_send(&pipe_rx, VIRTIO_THREAD_START);
vm_pipe_send(&v->dev_pipe, VMMCI_SET_TIMEOUT_SHORT);
vm_pipe_send(&v->dev_pipe, VMMCI_SET_TIMEOUT_LONG);
void vm_pipe_send(struct vm_dev_pipe *, enum pipe_msg_type);