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