X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_ss_emulator.c;h=de50876ac0df167ee3b8a690df982d5fa9c2be2f;hb=82b8b87c344fcd1eab22e3f3be5ad54cbb3f8f68;hp=329ee0fc93f48b183a17adb3f4a20d7f9d2f2f1f;hpb=c8eeaab8082f8c0b00a1889089a706ec6b1af88e;p=palacios.git

diff --git a/palacios/src/palacios/vmm_ss_emulator.c b/palacios/src/palacios/vmm_ss_emulator.c
index 329ee0f..de50876 100644
--- a/palacios/src/palacios/vmm_ss_emulator.c
+++ b/palacios/src/palacios/vmm_ss_emulator.c
@@ -26,7 +26,7 @@
 #include <palacios/vmm_ctrl_regs.h>
 
 
-#ifndef DEBUG_EMULATOR
+#ifndef CONFIG_DEBUG_EMULATOR
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif
@@ -97,7 +97,7 @@ int v3_emulate_memory_read(struct guest_info * info, addr_t read_gva,
 	return -1;
     }
 
-#ifdef DEBUG_EMULATOR
+#ifdef CONFIG_DEBUG_EMULATOR
     PrintDebug("Instr (15 bytes) at %p:\n", (void *)(addr_t)instr);
     PrintTraceMemDump(instr, 15);
 #endif