HYPERVISOR_console_io
(void)HYPERVISOR_console_io(CONSOLEIO_write, ret, buf);
r = HYPERVISOR_console_io(CONSOLEIO_write, len, buf);
HYPERVISOR_console_io(CONSOLEIO_read, sizeof(rbuf), rbuf)) > 0) {
while (HYPERVISOR_console_io(CONSOLEIO_read, 1, &c) == 0)
(void)HYPERVISOR_console_io(CONSOLEIO_write, 1, buf);