move vnet code outside of palacios core directory

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

diff --git a/linux_module/palacios-dev.c b/linux_module/palacios-dev.c
index bb9598f..60f01ec 100644 (file)
--- a/linux_module/palacios-dev.c
+++ b/linux_module/palacios-dev.c
@@ -29,7 +29,7 @@
 #include "palacios-packet.h"
 
 #ifdef V3_CONFIG_EXT_INSPECTOR
-#include "palacios-debugfs.h"
+#include "palacios-inspector.h"
 #endif
 
 MODULE_LICENSE("GPL");
@@ -162,14 +162,6 @@ static long v3_dev_ioctl(struct file * filp,
                return -EFAULT;
            }
 
-           // Mem test...
-           /*
-             {
-             void * vaddr = __va(alloc_palacios_pgs(131072, 4096));
-             memset(vaddr, 0xfe492fe2, mem.num_pages * 4096);
-             }
-           */
-
            break;
        }
 
@@ -253,8 +245,8 @@ static int __init v3_init(void) {
     palacios_init_console();
 #endif
 
-#ifdef V3_CONFIG_INSPECTOR
-    palacios_init_debugfs();
+#ifdef V3_CONFIG_EXT_INSPECTOR
+    palacios_init_inspector();
 #endif
 
 #ifdef V3_CONFIG_SOCKET
@@ -311,7 +303,7 @@ static void __exit v3_exit(void) {
 
 
 #ifdef V3_CONFIG_EXT_INSPECTOR
-    palacios_deinit_debugfs();
+    palacios_deinit_inspector();
 #endif
 
 #ifdef V3_CONFIG_FILE