changed the STAR MSR to be mode independent

[palacios.git] / palacios / src / palacios / vmm_socket.c

diff --git a/palacios/src/palacios/vmm_socket.c b/palacios/src/palacios/vmm_socket.c
index 8546688..b5498b2 100644 (file)
--- 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;
-}