X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_socket.c;h=b5498b299c49fe729f3592c3589e47a616e36670;hb=1136ff005017b791572f5f2fa2b2f846a04817e7;hp=854668809315268823ebf92f51f6e6d16633e5ce;hpb=a3a2224fa5e7d5c9d0ef2fe29bae0ccfb373ba26;p=palacios.git

diff --git a/palacios/src/palacios/vmm_socket.c b/palacios/src/palacios/vmm_socket.c
index 8546688..b5498b2 100644
--- a/palacios/src/palacios/vmm_socket.c
+++ b/palacios/src/palacios/vmm_socket.c
@@ -19,13 +19,20 @@
 
 
 #include <palacios/vmm_socket.h>
+#include <palacios/vmm.h>
+#include <palacios/vmm_debug.h>
+#include <palacios/vmm_stddef.h>
+
 
 struct v3_socket_hooks * sock_hooks = 0;
 
+void V3_Init_Sockets(struct v3_socket_hooks * hooks) {
+    PrintInfo("Initializing Socket Interface\n");
+    sock_hooks = hooks;
+    PrintDebug("V3 sockets inited\n");
+
+    return;
+}
 
 
 
-void V3_Init_Sockets(struct v3_socket_hooks * hooks) {
-  PrintInfo("Initializing Socket Interface\n");
-  sock_hooks = hooks;
-}