This patch is from 2009-10-20

[coreboot.git] / src / cpu / x86 / smm / smiutil.c

diff --git a/src/cpu/x86/smm/smiutil.c b/src/cpu/x86/smm/smiutil.c
index 95453e8224129f8af24139be0dca54d57013584e..1baaecf2a1c2224d844b8fd65d9c0a9631f3d1ea 100644 (file)
--- a/src/cpu/x86/smm/smiutil.c
+++ b/src/cpu/x86/smm/smiutil.c
@@ -25,8 +25,6 @@
 #include <cpu/x86/cache.h>
 #include <cpu/x86/smm.h>
 
-// #define DEBUG_SMI
-
 /* ********************* smi_util ************************* */
 
 /* Data */
@@ -119,7 +117,7 @@ void uart_init(void)
 
 void console_init(void)
 {
-#ifdef DEBUG_SMI
+#if CONFIG_DEBUG_SMI
        console_loglevel = CONFIG_DEFAULT_CONSOLE_LOGLEVEL;
        uart_init();
 #else