void panic_printf(const char *format, ...)
{
va_list args;
/* Flush the output buffer */
uart_flush_output();
va_start(args, format);
vfnprintf(panic_txchar, NULL, format, args);
va_end(args);
/* Flush the transmit FIFO */
uart_tx_flush();
}
int usb_vprintf(const char *format, va_list args)
{
int ret;
struct queue state;
if (is_readonly)
return EC_SUCCESS;
ret = usb_wait_console();
if (ret)
return ret;
state = tx_q;
ret = vfnprintf(__tx_char, &state, format, args);
if (queue_count(&state))
handle_output();
return ret;
}