Searched refs:console_buffer (Results 1 – 1 of 1) sorted by relevance
112 static char console_buffer[CONSOLE_BUF_SIZE]; variable151 (void) vsnprintf(console_buffer, sizeof (console_buffer), fmt, ap); in xpv_panic_console_print()154 xpv_panic_puts(console_buffer); in xpv_panic_console_print()