static void printc(char **str, vmm_chardev_t *cdev, char ch) { if (str) { vmm_printchar(str, NULL, ch, TRUE); } else { vmm_putc(ch); } }
static void flush_early_buffer(void) { int i; if (!stdio_init_done) { return; } for (i = 0; i < stdio_early_count; i++) { vmm_putc(stdio_early_buffer[i]); } }
static void flush_early_buffer(void) { #if !defined(ARCH_HAS_DEFTERM_EARLY_PRINT) int i; if (!stdio_init_done) { return; } for (i = 0; i < stdio_early_count; i++) { vmm_putc(stdio_early_buffer[i]); } #endif }