Drop W83627THF, it's the same device as W83627THG.

[coreboot.git] / src / console / vsprintf.c

diff --git a/src/console/vsprintf.c b/src/console/vsprintf.c
index 7f3e33c3cc8c13c27b775324a4415284a1de0687..4a745233b918257fc65fd589d42f0fd09a71d62e 100644 (file)
--- a/src/console/vsprintf.c
+++ b/src/console/vsprintf.c
@@ -1,6 +1,6 @@
 /*
  * This file is part of the coreboot project.
- * 
+ *
  * Copyright (C) 2009 coresystems GmbH
  *
  * This program is free software; you can redistribute it and/or
@@ -19,11 +19,11 @@
  * MA 02110-1301 USA
  */
 
-#include <stdarg.h>
+#include <string.h>
 #include <smp/spinlock.h>
 #include <console/vtxprintf.h>
 
-static spinlock_t vsprintf_lock = SPIN_LOCK_UNLOCKED;
+DECLARE_SPIN_LOCK(vsprintf_lock)
 
 static char *str_buf;
 
@@ -48,8 +48,6 @@ static int vsprintf(char *buf, const char *fmt, va_list args)
        return i;
 }
 
-int sprintf(char *buf, const char *fmt, ...);
-
 int sprintf(char *buf, const char *fmt, ...)
 {
        va_list args;