Add DEBUG_TPM option to Debugging menu

[coreboot.git] / src / pc80 / tpm.c

diff --git a/src/pc80/tpm.c b/src/pc80/tpm.c
index 8e94303e71c2c5bef12ce55b91268f6fc6bdd3c9..17e1ed702d46277151c6d238bd605b1090a7d62a 100644 (file)
--- a/src/pc80/tpm.c
+++ b/src/pc80/tpm.c
@@ -27,7 +27,6 @@
  * Infineon slb9635), so this driver provides access to locality 0 only.
  */
 
-/* #define DEBUG */
 #include <stdlib.h>
 #include <string.h>
 #include <delay.h>
@@ -37,17 +36,11 @@
 #include <pc80/tpm.h>
 #include <cpu/x86/car.h>
 
-#ifdef DEBUG
-#define TPM_DEBUG_ON   1
-#else
-#define TPM_DEBUG_ON   0
-#endif
-
 #define PREFIX "lpc_tpm: "
 
 /* coreboot wrapper for TPM driver (start) */
 #define        TPM_DEBUG(fmt, args...)         \
-       if (TPM_DEBUG_ON) {             \
+       if (CONFIG_DEBUG_TPM) {         \
                printk(BIOS_DEBUG, PREFIX);             \
                printk(BIOS_DEBUG, fmt , ##args);       \
        }