We call this cache as ram everywhere, so let's call it the same in Kconfig
[coreboot.git] / src / lib / usbdebug.c
index ec89bfe892334875a51252dc40e9664b0625cca5..42b4ba87d32fe0ca052c320fc470a51f6e422b27 100644 (file)
@@ -22,7 +22,7 @@
 #if !defined(__ROMCC__)
 #include <console/console.h>
 #else
-#if CONFIG_USE_DCACHE_RAM==0
+#if CONFIG_CACHE_AS_RAM==0
 #define printk(BIOS_DEBUG, fmt, arg...)   do {} while(0)
 #endif
 #endif