CONSOLEIO_write
(void) HYPERVISOR_console_io(CONSOLEIO_write, 1, buffer);
(void) HYPERVISOR_console_io(CONSOLEIO_write, 1, &c);
(void) HYPERVISOR_console_io(CONSOLEIO_write, len,
(void) HYPERVISOR_console_io(CONSOLEIO_write, 1, &buffer);
(void) HYPERVISOR_console_io(CONSOLEIO_write,