Modify Socket, Make V3_SOCK long

[palacios.git] / palacios / include / palacios / vmm_socket.h

diff --git a/palacios/include/palacios/vmm_socket.h b/palacios/include/palacios/vmm_socket.h
index f73830e..eb87f71 100644 (file)
--- a/palacios/include/palacios/vmm_socket.h
+++ b/palacios/include/palacios/vmm_socket.h
@@ -23,7 +23,7 @@
 
 #include <palacios/vmm.h>
 
-#define V3_SOCK void *
+#define V3_SOCK long
 
 #ifdef __V3VEE__
 
@@ -254,5 +254,4 @@ struct v3_socket_hooks {
 
 extern void V3_Init_Sockets(struct v3_socket_hooks * hooks);
 
-
 #endif