X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-socket.c;h=8d17d8f9911710139478631894876cee522a15a7;hb=c94c9b19999f937b32627794c80e19c9be555822;hp=23c3805811afc9fc2abf6d590afa5e1305266e3e;hpb=f47bc5f7b2fa7169df0c618369224fffb12007b3;p=palacios.git

diff --git a/linux_module/palacios-socket.c b/linux_module/palacios-socket.c
index 23c3805..8d17d8f 100644
--- a/linux_module/palacios-socket.c
+++ b/linux_module/palacios-socket.c
@@ -437,7 +437,7 @@ int palacios_socket_init( void ) {
 	return 0;
 }
 
-void palacios_socket_deinit() {
+void palacios_socket_deinit( void ) {
     if (!list_empty(&(global_sockets))) {
 	printk("Error removing module with open sockets\n");
     }