Handle 8254 PIT reload count of 0 correctly (means 65536)

[palacios.git] / palacios / src / devices / pci_front.c

diff --git a/palacios/src/devices/pci_front.c b/palacios/src/devices/pci_front.c
index 487ab5c..70dc980 100644 (file)
--- a/palacios/src/devices/pci_front.c
+++ b/palacios/src/devices/pci_front.c
@@ -57,7 +57,7 @@
 #include <interfaces/vmm_host_dev.h>
 
 
-#ifndef CONFIG_DEBUG_PCI_FRONT
+#ifndef V3_CONFIG_DEBUG_PCI_FRONT
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif