2 * This file is part of the coreboot project.
4 * Copyright (C) 2009 coresystems GmbH
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License as
8 * published by the Free Software Foundation; version 2 of
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
23 #include <smp/spinlock.h>
24 #include <console/vtxprintf.h>
27 DECLARE_SPIN_LOCK(vsprintf_lock)
31 static void str_tx_byte(unsigned char byte)
37 static int vsprintf(char *buf, const char *fmt, va_list args)
42 spin_lock(&vsprintf_lock);
45 i = vtxprintf(str_tx_byte, fmt, args);
48 spin_unlock(&vsprintf_lock);
54 int sprintf(char *buf, const char *fmt, ...)
60 i = vsprintf(buf, fmt, args);