moved host OS interfaces to a separate directory palacios/src/interfaces and palacios...

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

diff --git a/linux_module/palacios-vm.c b/linux_module/palacios-vm.c
index 943bbff..0e1f51e 100644 (file)
--- a/linux_module/palacios-vm.c
+++ b/linux_module/palacios-vm.c
@@ -18,7 +18,7 @@
 #include <linux/spinlock.h>
 
 #ifdef CONFIG_DEBUG_FS
-#include <linux/debugfs.h>
+#include "palacios-debugfs.h"
 #endif
 
 #include <palacios/vmm.h>
@@ -106,8 +106,6 @@ extern u32 pg_frees;
 extern u32 mallocs;
 extern u32 frees;
 
-#include <palacios/vmm_inspector.h>
-
 int start_palacios_vm(void * arg)  {
     struct v3_guest * guest = (struct v3_guest *)arg;
     int err;
@@ -152,32 +150,8 @@ int start_palacios_vm(void * arg)  {
 
 
 
-#if 0
-    // Inspection Test
-    {
-       struct v3_inspection_value rax;
-       v3_inspect_node_t * core = NULL;
-       v3_inspect_node_t * gprs = NULL;
-       v3_inspect_node_t * root = v3_get_inspection_root(guest->v3_ctx);
-       
-       if (!root) {
-           printk("NULL root inspection tree\n");
-       }
-
-       core = v3_get_inspection_subtree(root, "core.0");
-       if (!core) {
-           printk("NULL core inspection tree\n");
-       }
-
-       gprs = v3_get_inspection_subtree(core, "GPRS");
-       if (!gprs) {
-           printk("NULL gprs inspection tree\n");
-       }
-       
-       v3_get_inspection_value(gprs, "RAX", &rax);
-
-       debugfs_create_u64("RAX", 0644, NULL, (u64 *)rax.value);
-    }
+#if CONFIG_DEBUG_FS
+    dfs_register_vm(guest);
 #endif