X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-dev.c;h=e1143f89f34ea6d3300cab4d0a7f25198cdfdf94;hb=94f67717b6461df514dc225ed84f03b44c44061b;hp=a135be9ef5620be1737f45819332a9f4d8ed6fad;hpb=c79291850ac3605c924a2c5e9617028038bb8f63;p=palacios.git

diff --git a/linux_module/palacios-dev.c b/linux_module/palacios-dev.c
index a135be9..e1143f8 100644
--- a/linux_module/palacios-dev.c
+++ b/linux_module/palacios-dev.c
@@ -24,6 +24,13 @@
 #include "palacios-stream.h"
 #include "palacios-file.h"
 #include "palacios-serial.h"
+#include "palacios-socket.h"
+#include "palacios-vnet.h"
+#include "palacios-packet.h"
+
+#ifdef CONFIG_DEBUG_FS
+#include "palacios-debugfs.h"
+#endif
 
 MODULE_LICENSE("GPL");
 
@@ -165,6 +172,7 @@ static long v3_dev_ioctl(struct file * filp,
 
 	    break;
 	}
+
 	default: 
 	    printk("\tUnhandled\n");
 	    return -EINVAL;
@@ -237,6 +245,23 @@ static int __init v3_init(void) {
     palacios_file_init();
     palacios_init_console();
 
+
+#ifdef CONFIG_DEBUG_FS
+    palacios_init_debugfs();
+#endif
+
+#ifdef CONFIG_PALACIOS_SOCKET
+    palacios_socket_init();
+#endif
+
+#ifdef CONFIG_PALACIOS_PACKET
+    palacios_init_packet(NULL);
+#endif
+
+#ifdef CONFIG_PALACIOS_VNET
+    palacios_init_vnet();
+#endif
+
     return 0;
 
  failure1:
@@ -277,6 +302,11 @@ static void __exit v3_exit(void) {
     class_destroy(v3_class);
 
 
+
+#ifdef CONFIG_DEBUG_FS
+    palacios_deinit_debugfs();
+#endif
+
     palacios_file_deinit();
     palacios_deinit_stream();