add missed file

[palacios.git] / linux_module / palacios-socket.c

diff --git a/linux_module/palacios-socket.c b/linux_module/palacios-socket.c
index 28b613f..8d17d8f 100644 (file)
--- a/linux_module/palacios-socket.c
+++ b/linux_module/palacios-socket.c
@@ -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");
+    }
+}
+