X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fnetdisk.c;h=a4c4fc8625913768643273355197abc2359d5528;hb=5d2fb1ccf8fdb9c53d73778a87780f2a9f0991fe;hp=fd80bcd85bca3d4fd96d32beb93a74e6a0c4890b;hpb=0139d9a5b6beca02fa6c5a44947e1326e2edee24;p=palacios-OLD.git

diff --git a/palacios/src/devices/netdisk.c b/palacios/src/devices/netdisk.c
index fd80bcd..a4c4fc8 100644
--- a/palacios/src/devices/netdisk.c
+++ b/palacios/src/devices/netdisk.c
@@ -19,9 +19,9 @@
 
 #include <palacios/vmm.h>
 #include <palacios/vmm_dev_mgr.h>
-#include <palacios/vmm_socket.h>
+#include <interfaces/vmm_socket.h>
 
-#ifndef CONFIG_DEBUG_IDE
+#ifndef V3_CONFIG_DEBUG_IDE
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif