/*
* This file is part of the coreboot project.
- *
+ *
* Copyright (C) 2009 coresystems GmbH
*
* This program is free software; you can redistribute it and/or
* MA 02110-1301 USA
*/
-#include <stdarg.h>
#include <string.h>
#include <smp/spinlock.h>
#include <console/vtxprintf.h>
+#include <trace.h>
-static spinlock_t vsprintf_lock = SPIN_LOCK_UNLOCKED;
+DECLARE_SPIN_LOCK(vsprintf_lock)
static char *str_buf;
{
int i;
+ DISABLE_TRACE;
spin_lock(&vsprintf_lock);
str_buf = buf;
*str_buf = '\0';
spin_unlock(&vsprintf_lock);
+ ENABLE_TRACE;
return i;
}