X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_socket.c;h=0e61f83598e6545525d787c98d5318677e534b23;hb=266af4b5b19da7bee8e7445288c7c1cb3ee194c7;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..0e61f83 100644
--- a/palacios/src/palacios/vmm_socket.c
+++ b/palacios/src/palacios/vmm_socket.c
@@ -19,13 +19,21 @@
 
 
 #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;
 
+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");
 
-void V3_Init_Sockets(struct v3_socket_hooks * hooks) {
-  PrintInfo("Initializing Socket Interface\n");
-  sock_hooks = hooks;
+    return;
 }
+
+
+