X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-socket.c;h=8d17d8f9911710139478631894876cee522a15a7;hb=8792ea4ea6462c30e016293fbbd2659b3befdad4;hp=d76c5c6a90dd87beeda3945adc074f793c630fab;hpb=260bb3e805ebc92ae294c3c2b36d027ba8bca488;p=palacios.git

diff --git a/linux_module/palacios-socket.c b/linux_module/palacios-socket.c
index d76c5c6..8d17d8f 100644
--- a/linux_module/palacios-socket.c
+++ b/linux_module/palacios-socket.c
@@ -17,7 +17,7 @@
  * full text of the license.
  */
 
-#include <palacios/vmm_socket.h>
+#include <interfaces/vmm_socket.h>
 
 #include <linux/spinlock.h>
 #include <asm/uaccess.h>
@@ -436,3 +436,10 @@ int palacios_socket_init( void ) {
 	INIT_LIST_HEAD(&global_sockets);
 	return 0;
 }
+
+void palacios_socket_deinit( void ) {
+    if (!list_empty(&(global_sockets))) {
+	printk("Error removing module with open sockets\n");
+    }
+}
+