updated linux module to new build framework

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

diff --git a/linux_module/palacios-dev.c b/linux_module/palacios-dev.c
index 1dfafc2..bb9598f 100644 (file)
--- a/linux_module/palacios-dev.c
+++ b/linux_module/palacios-dev.c
@@ -28,6 +28,10 @@
 #include "palacios-vnet.h"
 #include "palacios-packet.h"
 
+#ifdef V3_CONFIG_EXT_INSPECTOR
+#include "palacios-debugfs.h"
+#endif
+
 MODULE_LICENSE("GPL");
 
 int mod_allocs = 0;
@@ -169,36 +173,6 @@ static long v3_dev_ioctl(struct file * filp,
            break;
        }
 
-       case V3_START_NETWORK: {
-            struct v3_network net;
-            memset(&net, 0, sizeof(struct v3_network));
-   
-            if(copy_from_user(&net, argp, sizeof(struct v3_network))){
-                printk("copy from user error getting network service requests ... \n");
-                return -EFAULT;
-            }
- 
-        #ifdef CONFIG_PALACIOS_SOCKET
-            if(net.socket == 1){
-                palacios_socket_init();
-               printk("Started Palacios Socket\n");
-            }
-        #endif
-        #ifdef CONFIG_PALACIOS_PACKET
-            if(net.packet == 1){
-                palacios_init_packet(NULL);
-               printk("Started Palacios Direct Network Bridge\n");
-            }
-        #endif
-        #ifdef CONFIG_PALACIOS_VNET
-            if(net.vnet == 1){
-                palacios_init_vnet();
-               printk("Started Palacios VNET Service\n");
-            }
-        #endif
- 
-            break;
-        }
        default: 
            printk("\tUnhandled\n");
            return -EINVAL;
@@ -267,9 +241,33 @@ static int __init v3_init(void) {
     
     palacios_vmm_init();
 
+#ifdef V3_CONFIG_STREAM
     palacios_init_stream();
+#endif
+
+#ifdef V3_CONFIG_FILE
     palacios_file_init();
+#endif
+
+#ifdef V3_CONFIG_CONSOLE
     palacios_init_console();
+#endif
+
+#ifdef V3_CONFIG_INSPECTOR
+    palacios_init_debugfs();
+#endif
+
+#ifdef V3_CONFIG_SOCKET
+    palacios_socket_init();
+#endif
+
+#ifdef V3_CONFIG_PACKET
+    palacios_init_packet(NULL);
+#endif
+
+#ifdef V3_CONFIG_VNET
+    palacios_init_vnet();
+#endif
 
     return 0;
 
@@ -311,8 +309,18 @@ static void __exit v3_exit(void) {
     class_destroy(v3_class);
 
 
+
+#ifdef V3_CONFIG_EXT_INSPECTOR
+    palacios_deinit_debugfs();
+#endif
+
+#ifdef V3_CONFIG_FILE
     palacios_file_deinit();
+#endif
+
+#ifdef V3_CONFIG_STREAM
     palacios_deinit_stream();
+#endif
 
     palacios_deinit_mm();